Correcção Automatizada de Violações de Regras de Desenho no Código Fonte Utilizando Rapto Lógico