Refactor private dorothy-fsm-dot into public fsm-dorothy and fsm-dot for
greater flexibility.