MAYBE
Input TRS:
    1: pin(x) -> pout(g(x))
    2: pin(x) -> pout(f(y)) | pin(x) --> pout(g(y))
Infeasibility test:
    pin(x1) --> pout(g(x2))
Co-Order(NegReal,≥,Sum) ...Co-QLPOpS ...Co-QWPOpS(PosReal,>,Sum) ...Co-Order(PosReal,≥,Sum-Sum; PosReal,≥,Sum-Sum) ...failed.