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