(RULES
  a -> a
  a -> f(a, a)
  a -> f(b, f(a, a))
  f(b, a) -> b
)
(COMMENT -f "a:0 b:0 f:2" -r 4 -v 0 -d 2 -s 6 "UN & ~UNC")