SOLVER_TRANSACTION_ARCHCHANGE
case SOLVER_TRANSACTION_ARCHCHANGE:
case SOLVER_TRANSACTION_ARCHCHANGE:
if (classes->elements[j] == SOLVER_TRANSACTION_ARCHCHANGE && classes->elements[j + 2] == v && classes->elements[j + 3] == vq)
queue_push(classes, SOLVER_TRANSACTION_ARCHCHANGE);
if (class == SOLVER_TRANSACTION_ARCHCHANGE)