===> Cleaning for cspchecker-4