That's hard to implement, because typically, constructs like this will be the result of various previous passes (macro expansion, inlining, dead code eliminatio

That's hard to implement, because typically, constructs like this will be the result of various previous passes (macro expansion, inlining, dead code elimination,...), typically it's not written by the user directly.