// of roles in each game should be the same, and the number of facts
// that are true in the initial state should be the same. There could
// be more thorough verification here, like looking at the number of
// legal joint moves in the first state, or simulating entire matches,
// but that would be expensive.
ProverStateMachine pNormal = new ProverStateMachine();
ProverStateMachine pScrambled = new ProverStateMachine();
pNormal.initialize(game.getRules());
pScrambled.initialize(theScrambledRules);
assertEquals(gameKey, pNormal.getRoles().size(), pScrambled.getRoles().size());
assertEquals(gameKey, pNormal.getInitialState().getContents().size(), pScrambled.getInitialState().getContents().size());
}
}