Given the following C++ function, label the selected void arrayInit(int array[], int size, unsigned int value) [ 7"1"/ assert(size > 0); 1*2*/ assert(value >= 0); /*3*/ for (int i = 0; i = 0 Choose. array[0] == value Choose. size > 0 Choose.. Given the following C++ function, label the selected conditions as: precondition, postcondition, invariant, or none of the other choices. void arrayInit(int array[], int size, unsigned int value) { /*1*/ assert(size > 0); /27 assert(value >= 0); 7*3*/ for (int i = 0; i =0 Choose... . array[0] == value Choose... - size > 0 Choose