graph -> host_graph, error checks for DAG reachability.