another helper, wfv-widen-wf