Add a first pass to check that all rules have a non-recursive alternative.