Update if in class TypeCheckVisitor