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