\chapter{Derivation Tree Construction}
\label{chapt.iterative}

%let thesis = True
%include visit.lhs


%if False


TODO!!
Add section on ruler front's dependency analysis.

Also, make clear the distinction between ruler front (as hypothetical language) and ruler core (raw backend)
in the thesis' introduction. We use rulerfront in examples because of the notational conveniences.
However, we use ruler core in technical discussions because of its simplicity.
In practice, the tool captures most of ruler front. Those aspects not implemented in ruler front, we at
least implemented in UUAG, so we know that it can be done.

TODO!!

Explain the nested-AGs part!
Use an internal visit entangled with another node!
Especially the form that does not require the depenency analysis using lazy evaluation

%endif