Add missing test case for `KleeMatchSpecReason.EXPECT_INCORRECT_KLEE_REPORTS_CORRECT`
Add missing test case for `KleeMatchSpecReason.EXPECT_INCORRECT_KLEE_REPORTS_CORRECT`

delcypher/klee-runner,delcypher/klee-runner