NO

1 decompositions
 #0 -----------
   1: W(B(x)) -> I(x)
   2: B(S(x)) -> S(x)
   3: W(x) -> I(x)

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