Demonstrate that the wavefront theory can be done with DAGs.

This makes me think that the DAG type should be the basis for the
handling of pseudo-C verification.