Added check that guarantees the generation of unique values for
attributes that play the role of IDs. Added flag to the
ModelMutatorConfiguration that allows the enabling or disabling of this
check.