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