Bug correction on the Dummy AST