Missing reduction detection test cases