NO

   1: W(B(x1)) -> I(x1)
   2: B(S(x1)) -> S(x1)
   3: W(x1) -> I(x1)

unjoinable pair
  I(x2) <- -> I(B(x2))