Fixing ltac constr variable handling in refine.