Disable persistent solver for dot_product.bpl test as there is a bug in Z3 which means we don't get a response.
Disable persistent solver for dot_product.bpl test as there is a bug
in Z3 which means we don't get a response.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix