(f(n1,x))&f(n2,x))):8 states - 0ms
 (E x (f(n1,x))&f(n2,x)))):2 states - 0ms
  n1=n2:2 states - 0ms
   ((E x (f(n1,x))&f(n2,x))))=>n1=n2):4 states - 0ms
    (A n1 , n2 ((E x (f(n1,x))&f(n2,x))))=>n1=n2)):1 states - 0ms
Total computation time: 0ms.