Exit a parse tree produced by CandidParser.prog. ctx the parse tree
ctx
void exitProg(ProgContext ctx);