Cleaned up violation reporting for several constraints