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