Correction code parser.jj