NO

   1: f(g(f(x1))) -> x1
   2: f(g(x1)) -> g(f(x1))

unjoinable peak
    x1
*<- f(g(f(x1))) ->*
    g(f(f(x1)))