@typecheck_method(o=IR, name=str)
def __init__(self, o, name):
    super().__init__(o)
    self.o = o
    self.name = name
@typecheck_method(o=IR, name=str)
def __init__(self, o, name):
    super().__init__(o)
    self.o = o
    self.name = name