Input TRS:
    1: f(a(),f(b(),f(a(),x))) -> f(a(),f(b(),f(b(),f(a(),x))))
    2: f(b(),f(b(),f(b(),x))) -> f(b(),f(b(),x))
Number of Rules: 2
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.