testcase simplification