bug in DomainFaithfulnessConstraint::check -- instance 8