NO

peak

h(h(a(),a()),h(c(),b()))
*<-
a()
->*
b()

is not joinable