syntax_data: {"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:                         if stack_term.0 != term {
context_before:                     for stack_term in previous_stack.cache.wf_args.borrow().iter().rev() {
context_after:                             continue;