@typecheck_method(op=str, x=IR)
def __init__(self, op, x):
    super().__init__(x)
    self.op = op
    self.x = x
@typecheck_method(op=str, x=IR)
def __init__(self, op, x):
    super().__init__(x)
    self.op = op
    self.x = x