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