NO
Rewrite Rules:
   [ eq(0,0) -> true,
     eq(s(?x),0) -> false,
     eq(0,s(?y)) -> false,
     eq(s(?x),s(?y)) -> eq(?x,?y),
     count(zero,?y,?z) -> eq(?y,?z),
     count(succ(?x),?y,?z) -> count(?x,s(?y),?z),
     count(pred(?x),?y,?z) -> count(?x,?y,s(?z)),
     intZero(?x) -> count(?x,0,0),
     succ(pred(?x)) -> ?x,
     pred(succ(?x)) -> ?x ]
Apply Direct Methods...
Inner CPs:
   [ count(?x_7,?y_4,?z_4) = count(pred(?x_7),s(?y_4),?z_4),
     count(?x_8,?y_5,?z_5) = count(succ(?x_8),?y_5,s(?z_5)),
     succ(?x_8) = succ(?x_8),
     pred(?x_7) = pred(?x_7) ]
Outer CPs:
   [  ]
not Overlay, check Termination...
Terminating, not WCR
Knuth & Bendix
Direct Methods: not CR

Final result: not CR
new/int3.trs: Success(not CR)
(16 msec.)