Stab at generating extra rules that don't participate in critical pairs.