On the other hand, in the second formulation the search is performed only when the constraint is already in the constraint store.
The second formulation of the process only performs a search if the constraint is already in the constraint store.