Reactivate maps_poly and maps_mono tests in check-ce-bench
The tests have been disabled because the behaviour was different locally and on the CI machine, even with stepslimit for the provers.
See !772 (merged) and 3310bdd7.
To be investigated.
The tests have been disabled because the behaviour was different locally and on the CI machine, even with stepslimit for the provers.
See !772 (merged) and 3310bdd7.
To be investigated.