Navigation over supertypes bugfixing