@typecheck_method(array=IR, name=str, agg_body=IR)
def __init__(self, array, name, agg_body):
    super().__init__(array, agg_body)
    self.name = name
    self.array = array
    self.agg_body = agg_body
@typecheck_method(array=IR, name=str, agg_body=IR)
def __init__(self, array, name, agg_body):
    super().__init__(array, agg_body)
    self.name = name
    self.array = array
    self.agg_body = agg_body