syntax_data: {"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"self.evaluate_predicates_recursively(previous_stack,"}]}
source_snippet:                             self.evaluate_predicates_recursively(previous_stack, obligations)
context_before:                         Ok(Ok(InferOk { obligations, .. })) => {
context_after:                         }