{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"aggregate_kind,"}]}
            aggregate_kind, location
            "prove_aggregate_predicates(aggregate_kind={:?}, location={:?})",
        );