org.eclipse.uml2.uml.tests.DestructionOccurrenceSpecificationTest.testSetCovered__Lifeline (from org.eclipse.uml2.uml.tests.UMLAllTests)