public override int GetHashCode() { return(17 + 31 * CurrentState.GetHashCode() + 31 * Command.GetHashCode()); }