===> Cleaning for verifast-17.06nb3