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