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