digraph G {
   1 [label="Agree",fontsize = 14]
   2 [label="*A",fontsize = 14]
   3 [label="Id-OO(ATR)",fontsize = 14]
   4 [label="Id-IO(ATR)",fontsize = 14]
   5 [label="Id(IO)-ATR Initial",fontsize = 14]
   1 -> 4 [fontsize = 11]
   1 -> 5 [fontsize = 11]
   2 -> 1 [fontsize = 11]
   3 -> 1 [fontsize = 11]
}
