Improve rule for possibly never read variables.