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