Input TRS:
    1: R(x,B2()) -> B2()
    2: W(x,B2()) -> B2()
   e1: B1() ->= R(T(),B1())	[relative]
   e2: B1() ->= W(T(),B1())	[relative]
Dependency Pairs:
   #1: # B1() -> # W(T(),B1())	[relative]
   #2: # B1() -> # B1()	[relative]
   #3: # B1() -> # R(T(),B1())	[relative]
   #4: # B1() -> # B1()	[relative]
Number of SCCs: 1
  SCC { #2 #4 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.