opravena metoda State.isDeterministic()