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