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]
Dependency Pairs:
   #1: # m(r(x)) -> # m(x)
   #2: # b() -> # l(b())	[relative]
   #3: # b() -> # b()	[relative]
   #4: # f(m(x),y) -> # f(x,m(y))
   #5: # f(m(x),y) -> # m(y)
   #6: # l(m(x)) -> # m(l(x))
   #7: # l(m(x)) -> # l(x)
   #8: # f(x,y) -> # f(x,r(y))	[relative]
Number of SCCs: 4
  SCC { #3 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.