NO 1 decompositions #0 ----------- 1: a(x) -> g(g(b(x))) 2: a(x) -> g(c(x)) 3: b(x) -> g(b(x)) unjoinable peak g(g(b(_y5))) *<- a(_y5) ->* g(c(_y5))