YES 1 decompositions #0 ----------- 1: h(f(),a(),a()) -> h(g(),a(),a()) 2: h(g(),a(),a()) -> h(f(),a(),a()) 3: a() -> a'() 4: h(x,a'(),y) -> h(x,y,y) 5: g() -> f() 6: f() -> g() @Parallel Closedness --- R 1: h(f(),a(),a()) -> h(g(),a(),a()) 2: h(g(),a(),a()) -> h(f(),a(),a()) 3: a() -> a'() 4: h(x,a'(),y) -> h(x,y,y) 5: g() -> f() 6: f() -> g() --- S 1: h(f(),a(),a()) -> h(g(),a(),a()) 2: h(g(),a(),a()) -> h(f(),a(),a()) 3: a() -> a'() 4: h(x,a'(),y) -> h(x,y,y) 5: g() -> f() 6: f() -> g()