(noverphi((n+1),x))&hb(n,y))):8 states - 0ms
 ((noverphi((n+1),x))&hb(n,y)))&eps2(n,z))):9 states - 0ms
  (y+z)=x:16 states - 0ms
   (((noverphi((n+1),x))&hb(n,y)))&eps2(n,z)))=>(y+z)=x):16 states - 1ms
    (A n , x , y , z (((noverphi((n+1),x))&hb(n,y)))&eps2(n,z)))=>(y+z)=x)):1 states - 1ms
Total computation time: 2ms.