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