I would fix if it is trivial but if not, it isn't a concern. Forcing an element is not supposed to be a problem if everything is self contained (after we start reduction iterating over one extra element is not such a big deal).