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