Inferring Complete Initialization of Arrays