robustified testDevel.Main.test_fsmparse and .test_construct