Fixed a bug in array analysis