Skipped

Package core / org.overture.codegen.tests.exec.TracesStateJavaGenTest.test[CounterInstanceVarObjectWithStaticNat.vdmpp]