REFACTOR: Changes to exceptions
RED: test_correctness_of_verify_eped_03
REFACTOR: s/scenario/game_state/ in some tests
GREEN: test_correctness_of_verify_eped_03