add graph with no backward arcs