elaborate tests for Model_reduceToOdes