digraph G {
   1 [label="*New Pi",fontsize = 14]
   2 [label="Ident(+ to -) in RNU",fontsize = 14]
   3 [label="Ident(-B to +B)",fontsize = 14]
   4 [label="*i u",fontsize = 14]
   5 [label="*i u in RNU",fontsize = 14]
   6 [label="Ident(+B to -B)",fontsize = 14]
   7 [label="Agree(back) in high",fontsize = 14]
   1 -> 4 [fontsize = 11]
   2 -> 3 [fontsize = 11]
   3 -> 4 [fontsize = 11]
   4 -> 6 [fontsize = 11]
   5 -> 3 [fontsize = 11]
   6 -> 7 [fontsize = 11]
}
