Added win predicate + possibleMoves global variables