def __init__(self, name: str, menv: msat_env, enc: LTLEncoder, *args, **kwargs):
    self.name = name
    self.menv = menv
    self.enc = enc
    self.symb2next = {}
    true = msat_make_true(menv)
    self.init = true
    self.trans = true
def __init__(self, name: str, menv: msat_env, enc: LTLEncoder, *args, **kwargs):
    self.name = name
    self.menv = menv
    self.enc = enc
    self.symb2next = {}
    true = msat_make_true(menv)
    self.init = true
    self.trans = true