Сравнение z3-4.13.4 с z3-5.3.2

Спасибо!