Input TRS:
    1: h(X) -> g(X)
    2: g(a()) -> f(b())
    3: f(X) -> h(a())
    4: a() -> b()
Number of Rules: 4
Direct QTKBOS ... failed.