{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"debug!(?span,"}]}
            debug!(?span, ?predicate);
        for (predicate, span) in instantiated_predicates {
            let category = ConstraintCategory::Predicate(span);