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