Diff z3-4.13.3 with a z3-4.13.4

Thank you!