Reading FSM from File and working