Renormalise after generating a given number of rules, not critical pairs.
Renormalise after generating a given number of rules, not critical pairs.

nick8325/kbc,nick8325/twee,nick8325/twee,nick8325/twee