warning-suppression granularity (was: Redundant constraints)