Input TRS:
    1: f(x) -> x
    2: g(x) -> x
    3: f(x) ->= g(x)
    4: g(x) ->= f(x)
Number of strict rules: 2
Direct Order(PosReal,>,Poly) ... removes: 1 2
     f(x1)	weight: (/ 1 2) + x1
     g(x1)	weight: (/ 1 2) + x1
Number of strict rules: 0
YES