../../Task/Mutual-recursion/Eiffel