===> Cleaning for souffle-2.5