MAYBE
Input TRS:
    1: +(0(),x) -> x
    2: +(s(x),y) -> s(+(x,y))
Infeasibility test:
    +(s(x),y) --> s(y)
Co-Order(NegReal,≥,Sum) ...Co-QLPOpS ...Co-QWPOpS(PosReal,>,Sum) ...Co-Order(PosReal,≥,Sum-Sum; PosReal,≥,Sum-Sum) ...failed.