org.eclipse.app4mc.amalthea.converters093.tests.OsConverterTest.verification[0: Test file: /os_instructions/instructionsExample.amxmi]