SOLVER_TRANSACTION_MAXTYPE
int ntypes[SOLVER_TRANSACTION_MAXTYPE + 1];
for (i = SOLVER_TRANSACTION_MAXTYPE; i > 0; i--)
if (class <= SOLVER_TRANSACTION_MAXTYPE)