Input TRS:
    1: b(a(x)) -> a(b(x))
   e1: a(x) ->= a(a(x))	[relative]
   e2: b(x) ->= b(b(x))	[relative]
Dependency Pairs:
   #1: # b(x) -> # b(b(x))	[relative]
   #2: # b(x) -> # b(x)	[relative]
   #3: # b(a(x)) -> # b(x)
Number of SCCs: 1
  SCC { #1..3 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.