ADT_VALID
if (state->as_check != ADT_VALID) {
assert(source_state->as_check == ADT_VALID);
if ((internal->as_check = head.ax_check) != ADT_VALID) {
head.ax_check = ADT_VALID;
state->as_check = ADT_VALID;
assert(state->as_check == ADT_VALID);
assert(state->as_check == ADT_VALID);
assert(state->as_check == ADT_VALID);
assert(session_state->as_check == ADT_VALID);
event_state->ae_check = ADT_VALID;
assert(event_state->ae_check == ADT_VALID);
assert(event_state->ae_check == ADT_VALID);
assert(state->as_check == ADT_VALID);
ADT_VALID);
ADT_VALID);
ADT_VALID);
ADT_VALID);
ADT_VALID);
ADT_VALID);
ADT_VALID);
ADT_VALID);