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