petit/demo/example6.dep_diffs

   1 flow     1: Entry           -->   8: a(L1-L2)                        [ V]
   2 flow     1: Entry           -->   8: a(L1-L2)                        [ M]
   3 output   1: Entry           -->   8: a(L1-L2)                        [ M]
   4 flow     1: Entry           -->   8: c(L1)                           [ MV]
   5 flow     1: Entry           -->   6: n                               [ MV]
   6 flow     1: Entry           -->   7: m                               [ MV]
   7 anti     8: a(L1-L2)        -->   8: a(L1-L2)        (+,+)           [ MoZ]
   8 flow     8: a(L1-L2)        -->   8: a(L1-L2)        (1,1)           [ VOZ]
   9 flow     8: a(L1-L2)        -->  10: Exit                            [ V]
  10 flow     8: a(L1-L2)        -->   8: a(L1-L2)        (+,+)           [ MoZ]
  11 flow     8: a(L1-L2)        -->  10: Exit                            [ M]
  12 output   8: a(L1-L2)        -->   8: a(L1-L2)        (+,+)           [ MoZ]