===> Cleaning for yices2-2.6.1