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