Exposing violation details as properties
Violation simplify