HMTypeChecker hmTc = new HMTypeChecker();
TypeScope tenv = trootScope().child();
for (Instruction instr : ast.instructions) {
System.out.println(instr.repr(0));
System.out.println(":: " + hmTc.analyze(instr, tenv));
System.out.println("--------------");
}
System.out.println(tenv);