Just to clarify. Does the library of BAR list a cluster of FOO? If not, it does not know about a class of name FOO and the class name cannot be shown in blue in EiffelStudio. Also, does the issue affect only EiffelStudio (the class name is not in blue) or also the compiler (the features of BAR selectively exported to FOO are not available in FOO)?