sm.initialize(ticTacToeDesc);
MachineState state = sm.getInitialState();
assertFalse(sm.isTerminal(state));
GdlConstant X_PLAYER = GdlPool.getConstant("xplayer");
GdlConstant O_PLAYER = GdlPool.getConstant("oplayer");
Role xRole = new Role(X_PLAYER);
Role oRole = new Role(O_PLAYER);
List<Role> roles = Arrays.asList(xRole, oRole);
assertEquals(roles, sm.getRoles());
assertEquals(9, sm.getLegalJointMoves(state).size());
assertEquals(9, sm.getLegalMoves(state, xRole).size());