syntax_data: {"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // cyclic goals. We don't care about goals which are not on the current stack
context_before:             // global cache has been disabled as it may otherwise change the result for
context_after:             // so it's fine to drop their scope eagerly.