org.eclipse.uml2.uml.tests.ProtocolStateMachineTest.testHasVisibilityOf__NamedElement (from org.eclipse.uml2.uml.tests.UMLAllTests)