You are moving some code written for the 1.3 platform to the 1.4 platform. You have heard about the new assert keyword and would like to use it. Which of the following statements would make sense in the code snippet below?

void foo() {
    for (...) {
        if (...)
            return;
    }
    // Execution should never reach this point!!!
    // What here?
}

A) assert true;
B) assert false;
C) assert true : "Execution should never reach this point";
D) assert false : "Execution should never reach this point";
E) return;