Semantic fix of a refine in Rewrite.

This code was wrong but luckily unused. It instantiated an evar with an
instance where the let-in bindings were removed.