This editor is intended to be used for making function
refinement trees, previously called function decomposition
trees in [18].
It has a soft constraint that there is a single root node and
that all nodes are reachable from that root node.
Frank Dehne,Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam 11/17/1997