On the other hand, in the second formulation the search is performed only when the constraint is already in the constraint store.
Alternatively, the second version of the process only searches if the constraint is already stored within the constraint repository.