Create DAGs of assertions.