(fp(n,x))&fp(i,y))):50 states - 1ms
 i<n:6 states - 0ms
  ((fp(n,x))&fp(i,y)))&i<n):60 states - 2ms
   x!=y:6 states - 0ms
    (((fp(n,x))&fp(i,y)))&i<n)=>x!=y):16 states - 5ms
     (A n , x , i , y (((fp(n,x))&fp(i,y)))&i<n)=>x!=y)):1 states - 21ms
Total computation time: 29ms.