(h(n,x))&h((n+1),y))):12 states - 0ms
 ((h(n,x))&h((n+1),y)))&f((n+1),z))):21 states - 0ms
  y=x:2 states - 0ms
   z=x:2 states - 0ms
    (y=x<=>z=x):18 states - 2ms
     (((h(n,x))&h((n+1),y)))&f((n+1),z)))=>(y=x<=>z=x)):16 states - 1ms
      (A n , x , y , z (((h(n,x))&h((n+1),y)))&f((n+1),z)))=>(y=x<=>z=x))):1 states - 1ms
Total computation time: 5ms.