@typecheck_method(o=IR, idx=int)
def __init__(self, o, idx):
    super().__init__(o)
    self.o = o
    self.idx = idx
@typecheck_method(o=IR, idx=int)
def __init__(self, o, idx):
    super().__init__(o)
    self.o = o
    self.idx = idx