b=(c+1) has 2 states: 0ms
 c=10 has 5 states: 2ms
  (b=(c+1)&c=10) has 5 states: 1ms
   (E c (b=(c+1)&c=10)) has 5 states: 0ms
    (E a , b , c func(a,(E c (b=(c+1)&c=10)),(c-2),(x+1))) has 3 states: 1ms
total computation time: 117ms