REJECT
negState = REJECT;
*negState = REJECT;
*negState = REJECT;
if (*negState == REJECT) {
*negState = REJECT;
*negState = REJECT;
*negState = REJECT;
*negState = REJECT;
*negResult = REJECT;
*negResult = REJECT;
*negState = REJECT;
*negState = REJECT;
*negState = REJECT;
*negState = REJECT;
if (acc_negState == REJECT) {
*negState = REJECT;
*negState = REJECT;