estudio does not check `require` when it should?...

eiffel: type is based on unknown class (even when visible into libraries)...

Eiffel avoiding duplicates into ecf file...