The macro analysing-special-variables-usage can be used to find symbols that may be proclaimed global, which can improve performance. analysing-special-variables-usage also helps to identify inconsistencies in the code.
LispWorks User Guide and Reference Manual - 21 Dec 2011