YES

1 decompositions
 #0 -----------
   1: F(G(x,A(),B())) -> x
   2: G(F(H(C(),D())),x,y) -> H(K1(x),K2(y))
   3: K1(A()) -> C()
   4: K2(B()) -> D()

@Development Closedness
--- R
   1: F(G(x,A(),B())) -> x
   2: G(F(H(C(),D())),x,y) -> H(K1(x),K2(y))
   3: K1(A()) -> C()
   4: K2(B()) -> D()

--- S
   1: F(G(x,A(),B())) -> x
   2: G(F(H(C(),D())),x,y) -> H(K1(x),K2(y))
   3: K1(A()) -> C()
   4: K2(B()) -> D()