Added tests for initFsm