Input TRS:
    1: R(x,B2()) -> B2()
    2: W(x,B2()) -> B2()
   e1: B1() ->= R(T(),B1())	[relative]
   e2: B1() ->= W(T(),B1())	[relative]
Weak rule e2 calls a strict rule