syntax_data: {"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // global cache has been disabled as it may otherwise change the result for
context_before:             // When validating the global cache we need to track the goals for which the
context_after:             // cyclic goals. We don't care about goals which are not on the current stack