Domstolen gjorde bedömningen att det inte fanns något i förfarandet som inkräktade på artikel 4 i sjunde tilläggsprotokollet , eftersom den bestämmelsen är avsedd att hindra människor från att lagföras två gånger för samma brott .