syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"term,"}]}
source_snippet:                         term,
context_before:                         obligation.recursion_depth + 1,
context_after:                         obligation.cause.span,