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