static private boolean jj_3R_13() {
    if (jj_scan_token(BEHAVIOR)) return true;
    if (jj_scan_token(BEHAVIORIDENT)) return true;
    if (jj_scan_token(LPAREN)) return true;
    Token xsp;
    xsp = jj_scanpos;
    if (jj_3_6()) jj_scanpos = xsp;
    if (jj_scan_token(RPAREN)) return true;
    return false;
  }