===> Cleaning for stooop-4.1.1