Test with AliveConstraintViolationException.