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(3) -> a
DPGraph with indexed dependency pairs
  {}
and edges
  
with 0 SCC(s)
  

Elapsed Time:  12.56 ms