NO 1 decompositions #0 ----------- 1: a() -> b() 2: f(x,a()) -> b() 3: f(b(),b()) -> b() unjoinable peak f(_y2,b()) *<- f(_y2,a()) ->* b()