syntax_data: {"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"use_existential_projection_new_instead:"}]}
source_snippet:             use_existential_projection_new_instead: (),
context_before:             term: projection_predicate.term,
context_after:         }