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