{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"Some(self.resolve_vars_if_possible(error.root_obligation.predicate))"}]}
                        Some(self.resolve_vars_if_possible(error.root_obligation.predicate))
                        nested_predicate,
                            .filter(|root_predicate| *root_predicate != nested_predicate),