Guard against do_nevermark repeating rules.