Fix to 844431761 on improving elimination with indices, getting rid of
intrusive residual local definitions + more conservative strategy for
which variables are not generalized (point 2 of 4df1ddc6d6bd07073).
Subtle swap of lines to preserve VarInstance src field before checking
for residual unifiable evars (otherwise "thin" from logic.ml, erases
the src field) + typo.