digraph G {
         a -> c;
         a -> b;
         b -> c [constraint=false];
       }