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