YES 1 decompositions #0 ----------- 1: f(x) -> f(f(x)) 2: g(x) -> f(x) 3: f(x) -> g(x) @Rule Labeling --- R 1: f(x) -> f(f(x)) 2: g(x) -> f(x) 3: f(x) -> g(x) --- S 1: f(x) -> f(f(x)) 2: g(x) -> f(x) 3: f(x) -> g(x)