ProductVector: ASSERT - if one mValue is bottom, all must be bottom
Fixed conversion from Interval to Set.
Fixes #174.
Fixed bottom values fro integer domains.