fixed bug causing us to occassionally fail to produce array length constraints. also fixed bug preventing us from appropriately dropping array index constraints