test case reduction

2024