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$)\{$

int prod $=1$;

$//$ Point A

while $($y $>0)\{$

$//$ Point B

if $($y $\%2==0)\{$

$//$ Point C

x $=$ x $*$ x;

y $=$ y $/2$;

$//$ Point D

$\}$ else $\{$

$//$ Point E

prod $=$ prod $*$ x;

y$--$;

$//$ Point F

$\}$

$//$ Point G

$\}$

$//$ Point H

return prod;

$\}$