This tests only the bottom value. We have to assure somehow that not more than necessary test cases were generated