RE: warning-suppression granularity (was: Redundant constraints)