Diff z3-4.13.4 with a z3-5.3.2

Thank you!