{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"\"prove_aggregate_predicates(aggregate_kind={:?},"}]}
            "prove_aggregate_predicates(aggregate_kind={:?}, location={:?})",
        debug!(
            aggregate_kind, location