Add two FSM tests