syntax_data: {"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"map.insert(fresh_trait_pred,"}]}
source_snippet:         map.insert(fresh_trait_pred, ProvisionalEvaluation { from_dfn, reached_depth, result });
context_after:     }