Simplify nog_in_rules'.