===> Cleaning for z3-4.12.2nb1