modelize: always check visibility of return types