YES

   1: F(x1,x2) -> c(A())
   2: G(x1) -> x1
   3: h(x1) -> c(x1)

@Rule Labeling
--- R
   1: F(x1,x2) -> c(A())
   2: G(x1) -> x1
   3: h(x1) -> c(x1)

--- S
   1: F(x1,x2) -> c(A())
   2: G(x1) -> x1
   3: h(x1) -> c(x1)