Add test for ViolationCounterCheck