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