syntax_data: {"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"obligation.set_depth_from_parent(stack.depth());"}]}
source_snippet:             obligation.set_depth_from_parent(stack.depth());
context_before:         for mut obligation in predicates {
context_after:             let eval = self.evaluate_predicate_recursively(stack, obligation.clone())?;