Possibilidade de adicionar violações com DSL