NO

peak

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

is not joinable