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