In rewrite, wrong computation of the sort of the term to be rewritten in
generated an uncaught Not_found. This raises an anomaly now and the sort is
properly computed now (fixes a bug in CoLoR).
Incorrect folding of evars in let_tac_gen made remember fail to store
correct constraints (bug found in CFGV).