Further reduction of test cases