relax wf-env for appvar A3 IH on wfe/c V2 case