syntax_data: {"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // regionck is not (at least currently) prepared to deal with
context_before:             // regionck more ways to prove that it holds. However,
context_after:             // higher-ranked regions that may appear in the