Java

2. Assertions. You will identify various assertions as being either always true, never true or sometimes true/sometimes false at various points in program execution. The comments in the method below indicate the points of interest. // pre : y >= 0 // post: returns x*y public static int pow(int x, int y) f int prod = 1; // Point while (y > 0) // Point B if(y % 2-0) { // Point C y =y / 2; // Point D , elset // Point E prod = prod * x; // Point F // Point G // Point H return prod; Assume the method is called only if the precondition is true. Fill in the table below with the words ALWAYS, NEVER or SOME ES Point A Point B Point C Point D Point E Point F Point G Point H ELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT SELECT