I artikel 4 sjunde tilläggsprotokollet finns ett förbud mot dubbel lagföring .