org.eclipse.uml2.uml.tests.PartDecompositionTest.testValidateAssume__DiagnosticChain_Map (from org.eclipse.uml2.uml.tests.UMLAllTests)