Rename constraints variable to violations