def render(self, r):
    return '(ArrayScan {} {} {} {} {})'.format(escape_id(self.accum_name), escape_id(self.value_name), r(self.a), r(self.zero), r(self.body))
def render(self, r):
    return '(ArrayScan {} {} {} {} {})'.format(escape_id(self.accum_name), escape_id(self.value_name), r(self.a), r(self.zero), r(self.body))