org.eclipse.ocl.uml.tests.SerializationTest.test_additionalOperationSerialization <tycho> (from org.eclipse.ocl.uml.tests.AllTests)