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