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