wf-val when environments are restricted