Warn more informatively of bad constraints.