Upgrade a complete implementation for TACVisitor.java