test case reduction