syntax_data: {"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // constraints for Pi). This defers the choice between
context_before:                     // projection and skip the subtree (thus generating no
context_after:                     // the rules OutlivesProjectionEnv,