Fix compilation: use old simpl_equations
Fix compilation: use old simpl_equations

for test-suite/fin.v. More debugging of the new, more efficient
simplification needed.

mattam82/Coq-Equations,mattam82/Coq-Equations