Identify the various assertions in the following code as being always true, never true, or sometimes true and sometimes false at various points in program execution. The comments indicate the points of interest:

Categorize each assertion at each point with ALWAYS, NEVER, or SOMETIMES.

public static int mystery (int n) { Random r = new Random (); int a = r.nextInt (3) + 1; int b = 2; // Point A while (n > b) { // Point B b = b + a; !! if (a > 1) { n--; // Point C a = r.nextInt (b) + 1; } else { a = b + 1; // Point D // Point E return n;