{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"self.resolve_vars_if_possible(nested_obligation.predicate),"}]}
                                        self.resolve_vars_if_possible(nested_obligation.predicate),
                                    possibly_unsatisfied_predicates.push((
                                        Some(self.resolve_vars_if_possible(obligation.predicate)),