State Machine: added unit tests for transition guard exceptions