~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

                        options.setTraceOption(TraceOption.SOME);

                }

                

                

                VerificationResult<TAPNNetworkTrace> valueNetwork = null;       //The final result is meant to be a PetriNetTrace but to make traceTAPN we make a networktrace

                VerificationResult<TimedArcPetriNetTrace> value = null;