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