This is because labeling literals enforce search, and search is more efficient if there are more constraints to be satisfied.
То је зато што обележавања литерала спроводе претрагу, а претрага је ефикаснија ако постоје више ограничења да буду задовољни.