YES
(ignored inputs)COMMENT doi:10.1016/0022-0000 ( 86 ) 90033-4 cops number: 268 submitted by: Thomas Sternagel , Aart Middeldorp [47] Example 2.6.2
Conditional Rewrite Rules:
   [ p(q(?x)) -> 0,
     c -> c,
     a(?x) -> b | p(?x) == 0 ]
Check whether all rules are type 3
OK
Check whether the input is deterministic
OK
Result of unraveling:
   [ p(q(?x)) -> 0,
     c -> c,
     a(?x) -> U0(p(?x),?x),
     U0(0,?x) -> b ]
Check whether U(R) is terminating
failed to show termination
Check whether the input is weakly left-linear
OK
Conditional critical pairs (CCPs):
   [  ]
Check whether the input is almost orthogonale
OK
Check whether the input is properly oriented
OK
Check whether the input is right-stable
OK
R is almost orthogonal, properly oriented, right stable
cops-FiZv6fyC.trs: Success(CR)
(0 msec.)