SOLVER_TRANSACTION_CHANGED
{ SOLVER_TRANSACTION_CHANGED, "change" },
case SOLVER_TRANSACTION_CHANGED:
return SOLVER_TRANSACTION_CHANGED;
if (type == SOLVER_TRANSACTION_CHANGED)