Spectral Example: Todo Flow
visitor TodoUser {
can login
can register
can see_landing_page
can see_docs
can list_todo_tables
can create_todo_table
can delete_todo_table
can enter_todo_table
can add_new_todo
can mark_todo_done
can mark_todo_undone
can delete_todo
}