Major changes with ISE Eiffel 18.01 and 18.07