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