def has_type_of_formula(self, expression, program_location): if instruction_utils.is_bool_literal(expression): return True if instruction_utils.is_var_reference(expression): return TypeRelation.has_type_of_formula(self, expression, program_location) return False
def has_type_of_formula(self, expression, program_location): assert instruction_utils.is_var_reference(expression) return self._type_relation_symbol(self._type_logical_const(self.var_logical_name(expression, program_location)))