{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
                    let obligation = format!("{projection_term} = {term}");
                    let term = pred.term;
                    let quiet = format!("{quiet_projection_term} = {term}");