Add comment in class TypeCheckVisitor