cuddled-loops.gv

digraph {
  headerA; /* root node */
  headerA -> "bodyA or headerB";
  "bodyA or headerB" -> "footerA or bodyB";
  "footerA or bodyB" -> footerB;
  edge [label="backedgeA"];
  "footerA or bodyB" -> headerA;
  edge [label="backedgeB"];
  footerB -> "bodyA or headerB";
}