fixing test runner and adding tests for FSM