===> Cleaning for why3-1.8.0