(fp(n,x))&zp(n,y))):28 states - 0ms
 y=x:2 states - 0ms
  y=(x+n):16 states - 0ms
   (y=x|y=(x+n)):22 states - 1ms
    y=(x+1):4 states - 0ms
     ((y=x|y=(x+n))|y=(x+1)):33 states - 0ms
      (y+n)=x:16 states - 1ms
       (((y=x|y=(x+n))|y=(x+1))|(y+n)=x):49 states - 1ms
        ((fp(n,x))&zp(n,y)))=>(((y=x|y=(x+n))|y=(x+1))|(y+n)=x)):8 states - 0ms
         (A n , x , y ((fp(n,x))&zp(n,y)))=>(((y=x|y=(x+n))|y=(x+1))|(y+n)=x))):1 states - 0ms
Total computation time: 4ms.