Fix to the new classifier-cases concolic test case.

There are a few other test failing, but it seems these are due to an actual bug. I will look into these tomorrow.