NO peak f(h(p(a()),q(a()))) *<- f(g(f(h(c(),d())),a(),b())) ->* f(h(c(),d())) is not joinable