Genom regleringen genomförs förbudet mot dubbla förfaranden enligt artikel 4 i sjunde tilläggsprotokollet till Europakonventionen .