Dessutom gäller enligt artikel 4 i det sjunde tilläggsprotokollet till Europakonventionen att ingen får lagföras eller straffas på nytt i en brottmålsrättegång i samma stat för ett brott för vilket han eller hon redan blivit slutligt frikänd eller dömd i enlighet med lagen och rättegångsordningen i denna stat .