description = GdlCleaner.run(description);
StaticValidator.validateDescription(description);
StateMachine sm = new ProverStateMachine();
sm.initialize(description);
MachineState state = sm.getInitialState();
assertEquals(1, sm.getRoles().size());
Role player = sm.getRoles().get(0);
assertEquals(1, sm.getLegalMoves(state, player).size());
state = sm.getNextStates(state).get(0);