digraph G {
   1 [label="Agr Loc + -",fontsize = 14]
   2 [label="Agr loc  - +",fontsize = 14]
   3 [label="Agr + - weak trigger",fontsize = 14]
   4 [label="Ident initial",fontsize = 14]
   5 [label="Id + -",fontsize = 14]
   6 [label="Id - +",fontsize = 14]
   2 -> 5 [fontsize = 11]
   3 -> 6 [fontsize = 11]
   4 -> 5 [fontsize = 11]
   5 -> 6 [fontsize = 11]
   6 -> 1 [fontsize = 11]
}
