Fixed some bugs in TACVisitor.java