Attempt to fix ``test_programs/basic/symbolic/exists.bpl``. It currently fails if we use Z3 4.3.1 because the solver returns ``unknown`` for one of the queries. We get unsat if we use Z3 4.3.2
Attempt to fix ``test_programs/basic/symbolic/exists.bpl``. It currently
fails if we use Z3 4.3.1 because the solver returns ``unknown`` for one
of the queries. We get unsat if we use Z3 4.3.2

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix