===> Cleaning for z3-4.14.0