syntax_data: {"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"this.evaluate_predicate_recursively(previous_stack,"}]}
source_snippet:                             this.evaluate_predicate_recursively(previous_stack, obligation)?,
context_before:                         nested_result = cmp::max(
context_after:                             nested_result,