Made some changes to make the analysis of dynamic arrays work properly.