Can be useful to encode some more of the tree into the CFG, e.g. by recording entry and exit from statements.

Competing idea: Allow rules to reference ASTnode.entry/exit instead of just CFG nodes

Submitted by Jeff Smits on 21 June 2018 at 15:09