public static void Pause()
 {
     lock (_lck)
     {
         State = ResolutionSessionState.Paused;
         NotifyChange();
     }
 }
 public static void Run()
 {
     lock (_lck)
     {
         State = ResolutionSessionState.Running;
         NotifyChange();
     }
 }
 public static void Abort()
 {
     lock (_lck)
     {
         _currentInstructionID = 0;
         State = ResolutionSessionState.Stopped;
         NotifyChange();
         _runtimeContext.Reset();
     }
 }