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