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