Input TRS:
    1: f(act(),y) -> f(el(nact()),y)
    2: f(x,nact()) -> f(x,act())
    3: act() -> el(nact())
    4: l(el(x)) -> el(l(x))
    5: el(r(x)) -> r(el(x))
   e1: nact() ->= l(nact())	[relative]
   e2: nact() ->= r(nact())	[relative]
Dependency Pairs:
   #1: # f(x,nact()) -> # f(x,act())
   #2: # f(x,nact()) -> # act()
   #3: # nact() -> # l(nact())	[relative]
   #4: # nact() -> # nact()	[relative]
   #5: # nact() -> # nact()	[relative]
   #6: # el(r(x)) -> # el(x)
   #7: # act() -> # el(nact())
   #8: # act() -> # nact()
   #9: # f(act(),y) -> # f(el(nact()),y)
   #10: # f(act(),y) -> # el(nact())
   #11: # f(act(),y) -> # nact()
   #12: # l(el(x)) -> # el(l(x))
   #13: # l(el(x)) -> # l(x)
Number of SCCs: 4
  SCC { #4 #5 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.