@typecheck_method(a=IR, i=IR)
def __init__(self, a, i):
    super().__init__(a, i)
    self.a = a
    self.i = i
@typecheck_method(a=IR, i=IR)
def __init__(self, a, i):
    super().__init__(a, i)
    self.a = a
    self.i = i