===> Cleaning for why3-1.8.2nb2