===> Cleaning for frama-c-20170501nb23