===> Cleaning for SmartEiffel-2.0