Eiffel Graph Library complete void-safe