digraph G {
  1 -> 2;
  1 -> 3;
  2 -> 4;
  subgraph cluster_x {
    2 -> 3;
    style = filled;
    label = x;
    color = lightblue;
  }
  1 [shape=diamond, style=filled, color=red];
}