MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    max: (Int, Int) -> Int
  Rules
    max(!x, !y) -> !x [>=(!x, !y)]
    max(!x, !y) -> !y [>=(!y, !x)]
    max(!x, !y) -> max(!y, !x)
No termination info given.

Elapsed Time:  48.43 ms