rename from test-exceptions to FSMexceptions.py