syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"debug!(\"wf::obligations({:?},"}]}
source_snippet:     debug!("wf::obligations({:?}, body_id={:?}) = {:?}", term, body_id, wf.out);
context_before:     wf.add_wf_preds_for_term(term);