syntax_data: {"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"c1,"}]}
source_snippet:                             c1, c2
context_before:                             "evaluate_predicate_recursively: equating consts:\nc1= {:?}\nc2= {:?}",
context_after:                         );