Eiffel Graph Library complete void-safe mode