(VAR x)
(RULES
  f(f(x,a),a) -> f(f(f(f(f(a,x),a),a),a),a)
)
(COMMENT
submitted by: Johannes Waldmann
)