petit/demo/example1a.dep_rels

   1 flow     1: Entry           -->  12: a(L1)                           [ V]
   2 {[In_1] -> [In_1] : n+11 <= In_1 <= n+20, m-1} union
   3  {[In_1] -> [In_1] : n+11, m+1 <= In_1 <= n+20}
   4 flow     1: Entry           -->  12: a(L1)                           [ M]
   5 {[In_1] -> [In_1] : In_1-20 <= n <= In_1}
   6 output   1: Entry           -->   7: a(m)                            [ M]
   7 {[m] -> }
   8 output   1: Entry           -->   9: a(L1)                           [ M]
   9 {[In_1] -> [In_1] : In_1-10 <= n <= In_1}
  10 flow     1: Entry           -->   7: b(n)                            [ MV]
  11 {[n] -> }
  12 flow     1: Entry           -->   9: b(L1)                           [ MV]
  13 {[In_1] -> [In_1] : In_1-10 <= n <= In_1}
  14 output   1: Entry           -->  12: c(L1)                           [ M]
  15 {[In_1] -> [In_1] : In_1-20 <= n <= In_1}
  16 flow     1: Entry           -->   7: n                               [ MV]
  17 { ->  TRUE }
  18 flow     1: Entry           -->   8: n                               [ MV]
  19 { ->  TRUE }
  20 flow     1: Entry           -->   8: n                               [ MV]
  21 { ->  TRUE }
  22 flow     1: Entry           -->  11: n                               [ MV]
  23 { ->  TRUE }
  24 flow     1: Entry           -->  11: n                               [ MV]
  25 { ->  TRUE }
  26 flow     1: Entry           -->   7: m                               [ MV]
  27 { ->  TRUE }
  28 flow     7: a(m)            -->  13: Exit                            [ V]
  29 { -> [Out_1] : m < n} union
  30  { -> [Out_1] : n <= m-11}
  31 flow     7: a(m)            -->  12: a(L1)                           [ VZ]
  32 { -> [m] : m-20 <= n <= m-11}