(RULES
  h(a,a) -> b
  b -> c
  f(f(h(b,a))) -> a
  a -> b
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)