internal virtual FSM CreateFSM(StateNameSource stateNames) { throw new InvalidOperationException(); } }