Sum of Array - Eiffel Typing CST Test