final public void assertion() throws ParseException {
    jj_consume_token(ASSERT);
    expression();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case REPORT:
      jj_consume_token(REPORT);
      expression();
      break;
    default:
      jj_la1[167] = jj_gen;
      ;
    }
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case SEVERITY:
      jj_consume_token(SEVERITY);
      expression();
      break;
    default:
      jj_la1[168] = jj_gen;
      ;
    }
  }