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