@typecheck_method(cond=IR, cnsq=IR, altr=IR)
def __init__(self, cond, cnsq, altr):
    super().__init__(cond, cnsq, altr)
    self.cond = cond
    self.cnsq = cnsq
    self.altr = altr
@typecheck_method(cond=IR, cnsq=IR, altr=IR)
def __init__(self, cond, cnsq, altr):
    super().__init__(cond, cnsq, altr)
    self.cond = cond
    self.cnsq = cnsq
    self.altr = altr