n>=1:3 states - 0ms
 (n>=1&h(n,x))):8 states - 0ms
  ((n>=1&h(n,x)))&h((x+n),y))):9 states - 0ms
   y=(n+1):4 states - 0ms
    (((n>=1&h(n,x)))&h((x+n),y)))=>y=(n+1)):8 states - 0ms
     (A n , x , y (((n>=1&h(n,x)))&h((x+n),y)))=>y=(n+1))):1 states - 0ms
Total computation time: 0ms.