Eiffel Inversion of Control