digraph GRAPH_0 {
  a -> { b c d }
  { b c d } -> u
}