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