NO

1 decompositions
 #1 -----------
   1: h(1(1(x1))) -> 1(h(x1))
   2: 1(1(h(b(x2)))) -> 1(1(s(b(x2))))
   3: 1(s(x3)) -> s(1(x3))
   4: b(s(x4)) -> b(h(x4))
   5: h(1(b(x5))) -> t(1(1(b(x5))))
   6: 1(t(x6)) -> t(1(1(1(x6))))
   7: b(t(x7)) -> b(h(x7))

unjoinable peak
    1(h(s(b(x2))))
*<- h(1(1(h(b(x2))))) ->*
    1(h(h(b(x2))))