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