# TRS/Beerendonk/23.trs
(VAR x y z)
(RULES
eval_1(x, y, z) -> eval_2(x, y, z) :|: x > z
eval_2(x, y, z) -> eval_2(x, y - 1, z) :|: x > z && y > z
eval_2(x, y, z) -> eval_1(x - 1, y, z) :|: x > z && z >= y
)