NO

1 decompositions
 #1 -----------
   1: W(B(x1)) -> I(x1)
   2: B(S(x2)) -> S(x2)
   3: W(x3) -> I(x3)

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