@typecheck_method(xs=sequenceof(IR))
def __init__(self, xs):
    super().__init__(*xs)
    self.xs = xs
@typecheck_method(xs=sequenceof(IR))
def __init__(self, xs):
    super().__init__(*xs)
    self.xs = xs