public void testGlobalMigrationUserDataTypeDomain() throws Exception {
   Ooaofooa testRoot =
       Ooaofooa.getInstance("/model_upgrade/models/model_upgrade/domain/domain.xtuml");
   UserDataType_c param = UserDataType_c.UserDataTypeInstance(testRoot);
   assertNotNull("Unable to locate test element", param);
   DataType_c dt = DataType_c.getOneS_DTOnR18(param);
   assertNotNull("Unable to locate test element", dt);
   GlobalElementInSystem_c gis =
       GlobalElementInSystem_c.getOneG_EISOnR9100(PackageableElement_c.getOnePE_PEOnR8001(dt));
   assertNotNull("UserDataType was not migrated to use globals.", gis);
   assertTrue(
       "Incorrect data type associated with UserDataType after global migration",
       dt.getName().equals("boolean"));
 }