===> Cleaning for probcons-1.12