digraph G {
  A [label="???"]
  A -> Al [label="L"]
  Al [label="SKIP"]
  A -> Ar [label="R"]
  Ar [label="SKIP"]
}