I sjunde tilläggsprotokollet till Europakonventionen har emellertid genom artikel 4 införts en bestämmelse som utvidgar rättighetsskyddet till ett principiellt förbud mot nytt åtal efter slutlig brottmålsdom i samma stat .