Input TRS:
    1: f(x) -> x
    2: g(x) -> x
   e1: f(x) ->= g(x)	[relative]
   e2: g(x) ->= f(x)	[relative]
Weak rule e2 calls a strict rule