{
InvocationConstraint c = (InvocationConstraint) i.next();
if (!(c instanceof Integrity) ||
(!integrity && c == Integrity.YES))
{
throw new UnsupportedConstraintException(
"cannot satisfy unfulfilled constraint: " + c);
}
// REMIND: support ConstraintAlternatives containing Integrity?
}