===> Cleaning for verifast-18.02nb4