void m() {if(c > 2) {x = c;}while(c < 10) {x += p();c++;}}
Rewrite turns
code into a tree
J.MethodDeclarationvoid m()J.Block{ ... }J.Ifif( ... )J.Whilewhile( ... )Exprc > 2J.ControlParenthesesExprJ.Block{ ... }J.Assignx = cStatementx += p()Statementc++