NO peak f(a'()) *<- f(a()) ->* b() is not joinable