2 ms·

ASTs are DAGs indeed, but as soon as you add semantic information to the mix the graph usually becomes cyclic.