no generating test case for infinite bounds