Ensures that all participating variables have the same value (maybe useless).
While expensive, this can prune huge amounts from the search space and will generally be a net performance gain.
[Validate]