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