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