AlwaysUseVar analyzer, codefix and tests