(RULES
  f(h(f(f(b)),b)) -> a
  b -> f(a)
  c -> h(a,b)
)