Added predicate nextPlayer