===> Cleaning for yices2-2.7.0