in modifying dfg_graph.cpp layout()