Refined parse tree, formatted parser.jjt