Input TRS:
    1: *(x,*(minus(y),y)) -> *(minus(*(y,y)),x)
Number of Rules: 1
Direct QLPOS ... failed.