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