NO

   1: f(a()) -> b()
   2: a() -> a'()
   3: f(b()) -> c()

unjoinable peak
    f(a'())
*<- f(a()) ->*
    b()