Fix parent class of UndefinedNameError
Type-check true body of if-else statement
Type-check false body of if statement
Type-check condition of if-statement