===> Cleaning for frama-c-20120901nb37