{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"nested_predicate,"}]}
                        nested_predicate,
                    possibly_unsatisfied_predicates.push((
                        Some(self.resolve_vars_if_possible(error.root_obligation.predicate))