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