def subscribe(self):
        d = defer.Deferred(canceller=self._subscriptions.remove)
        self._subscriptions.append(d)
        return d
Convert terms or sorts to Z3 objects.
dataset/ETHPy150Open ClusterHQ/flocker/flocker/restapi/testtools.py/EventChannel.subscribe--crossover with--dataset/ETHPy150Open Microsoft/ivy/ivy/z3_utils.py/to_z3