{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
            // to be *true* but merely *well-formed*.
            // below: there, we are not trying to prove those predicates
            let pred = wfcx.normalize(sp, None, pred);