Be more conservative and keep the use of eq_constr in pretyping/ functions.