Program ast = p.program();
System.out.println(ast.repr(1));
ExplicitTypeChecker exTc = new ExplicitTypeChecker();
HMTypeChecker hmTc = new HMTypeChecker();
TypeScope tenv = trootScope().child();
for (Instruction instr : ast.instructions) {
System.out.println(instr.repr(0));