NO 1 decompositions #1 ----------- 1: a(x1) -> g(g(b(x1))) 2: a(x1) -> g(c(x1)) 3: b(x1) -> g(b(x1)) unjoinable peak g(g(b(x2))) *<- a(x2) ->* g(c(x2))