n>=1:3 states - 1ms
 (n>=1&h(n,x))):8 states - 0ms
  ((n>=1&h(n,x)))&h(x,y))):15 states - 0ms
   (((n>=1&h(n,x)))&h(x,y)))&h((n+1),z))):20 states - 0ms
    (y+z)=(n+2):33 states - 0ms
     ((((n>=1&h(n,x)))&h(x,y)))&h((n+1),z)))=>(y+z)=(n+2)):16 states - 1ms
      (A n , x , y , z ((((n>=1&h(n,x)))&h(x,y)))&h((n+1),z)))=>(y+z)=(n+2))):1 states - 0ms
Total computation time: 2ms.