@typecheck_method(child=TableIR)
def __init__(self, child):
    super().__init__(child)
    self.child = child
@typecheck_method(child=TableIR)
def __init__(self, child):
    super().__init__(child)
    self.child = child