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

Elapsed Time:  11.98 ms