Split If into If and IfElse.
Made the constructor of TypecheckerVisitor private so it can't be instantiated from outside the class.