YES

1 decompositions
 #0 -----------
   1: h(a(),a()) -> f(c())
   2: a() -> a()
   3: b() -> h(c(),a())

@Strongly Commuting
--- R
   1: h(a(),a()) -> f(c())
   2: a() -> a()
   3: b() -> h(c(),a())

--- S
   1: h(a(),a()) -> f(c())
   2: a() -> a()
   3: b() -> h(c(),a())