(VAR x)
(RULES
  h0(c2, c0, x) -> c0
  h0(c2, c1, x) -> c1
  h0(c2, g0(c0), x) -> g0(c0)
  h0(c2, g0(c1), x) -> g0(c1)
  h0(c3, x, c0) -> c0
  h0(c3, x, c1) -> c1
  h0(c3, x, g0(c0)) -> g0(c0)
  h0(c3, x, g0(c1)) -> g0(c1)
  g0(c0) -> g0(g0(c0))
  g0(c1) -> c0
  f0(c0, c1) -> c1
  f0(g0(g0(c0)), x) -> c1
)
(COMMENT handcraftet "UNC & ~NFP")