syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"wf.add_wf_preds_for_trait_pred(trait_pred,"}]}
source_snippet:     wf.add_wf_preds_for_trait_pred(trait_pred, Elaborate::All);
context_before:     };
context_after:     debug!(obligations = ?wf.out);