I sjunde tilläggsprotokollets artikel 4 finns emellertid ett förbud mot dubbelbestraffning .