digraph DG { A -> B; A -> C; B -> D; B -> E; }