Consider the following data field and method.

private int[] seq;

// precondition: seq.length > 0

public int lenIncreasing()

{

int k = 1;

while ((k < seq.length) && (seq[k - 1] < seq[k]))

{

k++;

}

// assertion

return k;

}

Which of the following assertions is true when execution reaches the line // assertion in lenIncreasing?

A. (k == seq.length) && (seq[k - 1] >= seq[k])
B. (k == seq.length) || (seq[k - 1] >= seq[k])
C. (k < seq.length) && (seq[k - 1] < seq[k])
D. (k < seq.length) || (seq[k - 1] < seq[k])
E. (k == seq.length) || (seq[k - 1] == seq[k])