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

Elapsed Time:  12.32 ms