Input TRS:
    1: f(X,X) -> f(a(),n__b())
    2: b() -> a()
    3: b() -> n__b()
    4: activate(n__b()) -> b()
    5: activate(X) -> X
Number of Rules: 5
Direct QKBOS(Sum) ... failed.