MAYBE
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    eval1: (Int, Int) -> Unit
    eval2: (Int, Int) -> Unit
    eval3: (Int, Int) -> Unit
  Rules
    eval3(!x, !y) -> eval2(-(!x, 1), +(!y, 1)) [>(!x, 0)]
    eval3(!x, !y) -> eval3(+(!x, 1), -(!y, 1)) [>(!x, 0)]
    eval2(!x, !y) -> eval1(!x, !y) [not(>(!x, 0))]
    eval2(!x, !y) -> eval2(-(!x, 1), +(!y, 1)) [and(>(!x, 0), >=(!x, 0))]
    eval1(!x, !y) -> eval3(!x, !y) [>=(!y, !x)]
    eval1(!x, !y) -> eval2(!x, !y) [and(>(!x, !y), >=(!x, 0))]
No termination info given.

Elapsed Time: 153.52 ms