===> Cleaning for litmus-0.13nb14