NO

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

unjoinable peak
    I(x1)
*<- W(B(x1)) ->*
    I(B(x1))