Fixed 4-alpha-helices-2-rungs-more-bits-simplified.cvc test.

I was using the unstable version of CVC4 as the oracle and it seems
that this query being valid is a bug in the unstable version of CVC4.
The 1.3 release of CVC4 returns invalid just like STP does.