@typecheck_method(a=IR, zero=IR, accum_name=str, value_name=str, body=IR)
def __init__(self, a, zero, accum_name, value_name, body):
    super().__init__(a, zero, body)
    self.a = a
    self.zero = zero
    self.accum_name = accum_name
    self.value_name = value_name
    self.body = body
@typecheck_method(a=IR, zero=IR, accum_name=str, value_name=str, body=IR)
def __init__(self, a, zero, accum_name, value_name, body):
    super().__init__(a, zero, body)
    self.a = a
    self.zero = zero
    self.accum_name = accum_name
    self.value_name = value_name
    self.body = body