def transform_Implies(self, node):
new_a = self.transform(node.a)
new_b = self.transform(node.b)
return ir.Disjunction(ir.Complement(new_a), new_b)
def transform_Disjunction(self, node):
return ir.Disjunction(self.transform(node.a), self.transform(node.b))