[Validator] Simplified testing of violations