Notes

• Calls to method other than operator== are valid iff the cursor queue is non-empty.
• This cursor works only on acyclic structures, use bfirst_mark_cursor on cyclic DFAs.