Adding constant array analysis.