Input TRS:
    1: l(m(x)) -> m(l(x))
    2: m(r(x)) -> r(m(x))
    3: f(m(x),y) -> f(x,m(y))
   e1: b() ->= l(b())	[relative]
   e2: f(x,y) ->= f(x,r(y))	[relative]
Weak rule e2 calls a strict rule