digraph G {
   1 [label="*RoLo",fontsize = 14]
   2 [label="Id rd",fontsize = 14]
   3 [label="Agr bk",fontsize = 14]
   4 [label="Agr rd",fontsize = 14]
   5 [label="Ident before spec",fontsize = 14]
   1 -> 4 [fontsize = 11]
   2 -> 1 [fontsize = 11]
   2 -> 3 [fontsize = 11]
   4 -> 5 [fontsize = 11]
}
