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

Elapsed Time:   9.87 ms