===> Cleaning for why3-1.5.1nb1