digraph G { a-> b } digraph H { c-> d }