Fix rec.v test-suite, using the arith db is not possible with eauto
Fix rec.v test-suite, using the arith db is not possible with eauto

mattam82/Coq-Equations,mattam82/Coq-Equations,clarus/Coq-Equations