YES
LCTRS
  Theories
    Core, Ints
  Signature
    max: (Int, Int) -> Int
  Rules
    max(!x, !y) -> !x [>=(!x, !y)]
    max(!x, !y) -> !y [>=(!y, !x)]
DPGraph with indexed dependency pairs
  {}
and edges
  
with 0 SCC(s)
  

Elapsed Time:  14.91 ms