===> Cleaning for cadical-2.1.3