Diff z3-4.12.1 with a z3-4.13.3

Thank you!