petit/demo/example1a.dep_diffs

   1 flow     1: Entry           -->  12: a(L1)                           [ V]
   2 flow     1: Entry           -->  12: a(L1)                           [ M]
   3 output   1: Entry           -->   7: a(m)                            [ M]
   4 output   1: Entry           -->   9: a(L1)                           [ M]
   5 flow     1: Entry           -->   7: b(n)                            [ MV]
   6 flow     1: Entry           -->   9: b(L1)                           [ MV]
   7 output   1: Entry           -->  12: c(L1)                           [ M]
   8 flow     1: Entry           -->   7: n                               [ MV]
   9 flow     1: Entry           -->   8: n                               [ MV]
  10 flow     1: Entry           -->   8: n                               [ MV]
  11 flow     1: Entry           -->  11: n                               [ MV]
  12 flow     1: Entry           -->  11: n                               [ MV]
  13 flow     1: Entry           -->   7: m                               [ MV]
  14 flow     7: a(m)            -->  13: Exit                            [ V]
  15 flow     7: a(m)            -->  12: a(L1)                           [ VZ]
  16 flow     7: a(m)            -->  12: a(L1)                           [ MZ]
  17 flow     7: a(m)            -->  13: Exit                            [ M]
  18 output   7: a(m)            -->   9: a(L1)                           [ MZ]
  19 flow     9: a(L1)           -->  12: a(L1)                           [ MV]
  20 flow     9: a(L1)           -->  13: Exit                            [ MV]
  21 flow    12: c(L1)           -->  13: Exit                            [ MV]