All parameters to determine how the tree is formated.
How to show whether a location has been accessed
Formating of the tree structure.
Formating of the permissions on each range.
Pretty-printing details
Track the indentation of the tree.
Extracted information from the tree, in a form that is readily accessible
for printing. I.e. resolve parent-child pointers into an actual tree,
zip permissions with their tag, remove wrappers, stringify data.
Some information that is irrelevant for the algorithm but very
convenient to know about a tag for debugging and testing.
Failures that can occur during the execution of Tree Borrows procedures.