NO

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

unjoinable pair
  f(a'()) <- -> b()