Fix set: nf_evar prior to tactic interpretation.

Noticed in CoRN