NO 1 decompositions #0 ----------- 1: c() -> f(b()) 2: c() -> b() unjoinable peak f(b()) *<- c() ->* b()