===> Cleaning for frama-c-20111001nb10