v8.4: Fixing bug #3228 (fixing precedence of ltac variables over
variables in env).