But I'm not sure if we should have such a test for new assumptions.  My suggestion here: remove these tests.