petit/demo/example4.dep_diffs

   1 output   1: Entry           -->  11: a(L2)                           [ M]
   2 flow     1: Entry           -->  11: b(L1,L2)                        [ MV]
   3 flow     1: Entry           -->   9: n                               [ MV]
   4 flow     1: Entry           -->  10: m                               [ MV]
   5 flow     1: Entry           -->  10: m                               [ MV]
   6 anti    11: a(L2-1)         -->  11: a(L2)           (+,-1)          [ Mo]
   7 flow    11: a(L2)           -->  11: a(L2-1)         (0,1)           [ MVO]
   8 flow    11: a(L2)           -->  11: a(L2-1)         (+,1)           [ Mo]
   9 output  11: a(L2)           -->  11: a(L2)           (+,0)           [ Mo]