public void set_next_current_player() { _gameEngine.SetNextCurrentPlayer(); _players.Received().GetNextPlayer(); }