YES

1 decompositions
 #0 -----------
   1: f(f(a())) -> f(f(f(a())))
   2: f(f(a())) -> f(a())

@--testing feature--
--- R
   2: f(f(a())) -> f(a())

--- S
   2: f(f(a())) -> f(a())