{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"for"}]}
        for error in errors {
        let mut root_predicates = FxHashSet::default();
            let root_predicate = error.root_obligation.predicate;