syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // final result is equal to the initial response for that case.
context_before:             // this was only the root of either coinductive or inductive cycles, and the
context_after:             if self.reached_fixpoint(cx, &stack_entry, usage_kind, result) {