def equate(self, a, b):
        self.add_to(a, b)
        self.add_to(b, a)
Extend (a) and (b) so that they contain each others' elements.
dataset/ETHPy150Open smurfix/yapps/yapps/parsetree.py/Generator.equate