Embedding extensional finite sets in CLP