digraph {
  node[shape="circle"];
  a -> b -> c -> {b, a};
  {rank=same; b; c;}
}