more test case reduction