Nasty bug fixed in AST generation.
And a related bug fix in the CFG code.