Removed a test case about not being able to prove an existential that is supposed to hold, since it is somewhat fragile and doesn't test anything useful.
Removed a test case about not being able to prove an existential that is supposed to hold, since it is somewhat fragile and doesn't test anything useful.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors