Update TypeCheckVisitor.java