@typecheck_method(s=IR, start=IR, end=IR)
def __init__(self, s, start, end):
    super().__init__(s, start, end)
    self.s = s
    self.start = start
    self.end = end
@typecheck_method(s=IR, start=IR, end=IR)
def __init__(self, s, start, end):
    super().__init__(s, start, end)
    self.s = s
    self.start = start
    self.end = end