private void Initialize()
{
//Fingerprint the start state.
Fingerprint fp = startStateStateImpl.Fingerprint;
CancelTokenZingExplorer = new CancellationTokenSource();
SafetyErrors = new ArrayList();
AcceptingCycles = new ArrayList();
lastErrorFound = ZingerResult.Success;
StartStateTraversalInfo = GetTraversalInfoForTrace(null);
}