Termination
of the given
GTRS
could not be shown:
0 GTRS
(0)
Obligation:
Generalized rewrite system (where rules with free variables on rhs are allowed):
The TRS R consists of the following rules:
tail
(
cons
(
X
)) →
XS
zeros
→
cons
(
0
)