addToStateIdsToPromote

Adds the given stateIds to the promotion multiset, incrementing each by 1.