===> Cleaning for picat-0.1.0