Notes

• Calls to the stack_cursor methods are only valid iff the stack is non-empty.
• The default constructor is used by the depth-first cursor to implement ends of range: the empty stack serves as stop condition for the traversal.