private boolean jj_3R_425() {
    if (jj_scan_token(WHEN)) return true;
    if (jj_3R_77()) return true;
    if (jj_scan_token(155)) return true;
    if (jj_3R_156()) return true;
    return false;
  }