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