Much better coverage of Violation class