(noverphi((n+1),x))&ha(n,y))):11 states - 0ms
 ((noverphi((n+1),x))&ha(n,y)))&eps1(n,z))):11 states - 0ms
  y=(x+z):16 states - 0ms
   (((noverphi((n+1),x))&ha(n,y)))&eps1(n,z)))=>y=(x+z)):16 states - 1ms
    (A n , x , y , z (((noverphi((n+1),x))&ha(n,y)))&eps1(n,z)))=>y=(x+z))):1 states - 1ms
Total computation time: 2ms.