Input TRS:
    1: a(b(x)) -> a(c(b(x)))
Number of Rules: 1
Direct QKBOS(Sum) ... failed.