supertype navigation logic refined