syntax_data: {"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // always only region relations, and we are about to
context_before:             // We don't care about the `obligations`; they are
context_after:             // erase those anyway: