syntax_data: {"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // `A` has a nested goal which overflows, then computing `B`
context_before:             // If computing a goal `B` depends on another goal `A` and
context_after:             // at the same depth, but with `A` already on the stack,