../../Task/Constrained-genericity/Eiffel