NO peak f(g(g(f(g(x0))))) *<- f(g(f(g(f(x0))))) ->* g(f(g(g(f(x0))))) is not joinable