in-tree / out-tree semantics

[mjpitz]

In some of my recent Graph Theory studies, I learned there's actually specific terminology for trees formed by outgoing edges (i.e. out-trees or an arborescence) or it's incoming edges (i.e. in-tree or an anti-arborescence). In practice, this could probably just be a simple alias for a given endpoint.

[mjpitz]

I started using this in the Statement structs and I can already see how much easier it is to understand...