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

Elapsed Time:  13.34 ms