Added Violation tests