Introduce a ViolationFormatter