Add test for mind-violation