Updating scala z3
Modifying test cases
Updations. Discoving the perfomance bug