(f((n+1),x))&h(n,y))):16 states - 0ms
 x>y:6 states - 0ms
  ((f((n+1),x))&h(n,y)))&x>y):9 states - 0ms
   j>=(n+1):6 states - 0ms
    (j>=(n+1)&f(j,t))):20 states - 0ms
     t>y:6 states - 0ms
      ((j>=(n+1)&f(j,t)))=>t>y):95 states - 4ms
       (A j , t ((j>=(n+1)&f(j,t)))=>t>y)):12 states - 3ms
        (((f((n+1),x))&h(n,y)))&x>y)=>(A j , t ((j>=(n+1)&f(j,t)))=>t>y))):8 states - 1ms
         (A n , x , y (((f((n+1),x))&h(n,y)))&x>y)=>(A j , t ((j>=(n+1)&f(j,t)))=>t>y)))):1 states - 0ms
Total computation time: 8ms.