def transform_Iff(self, node):
new_a = self.transform(node.a)
new_b = self.transform(node.b)
return ir.Conjunction(ir.Disjunction(ir.Complement(new_a), new_b),
ir.Disjunction(ir.Complement(new_b), new_a))
def transform_Conjunction(self, node):
return ir.Conjunction(self.transform(node.a), self.transform(node.b))