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