(RULES
  a -> b
  f(g(a)) -> f(a)
)
(COMMENT 
doi:10.1007/3-540-45744-5_49
[153] Example 13
submitted by: Raul Gutierrez and Salvador Lucas
)