public virtual void Execute()
 {
     // PublishEventNode
     var PublishEventNode19_Event = new GameOver();
     System.Publish(PublishEventNode19_Event);
     PublishEventNode19_Result = PublishEventNode19_Event;
 }
        public virtual void Execute()
        {
            // PublishEventNode
            var PublishEventNode19_Event = new GameOver();

            System.Publish(PublishEventNode19_Event);
            PublishEventNode19_Result = PublishEventNode19_Event;
        }