See the following example where case B is undesirable and either we want case A or case C. I could envisage this being detected by (i) (ii) or (iii) below. (iii) is possible with rule “no-var” but I don’t want to go through and change all of my code base.