Högsta domstolen uttalade där att Europadomstolens tidigare praxis gällande bedömningen av vad som utgör samma brott enligt artikel 4 i sjunde tilläggsprotokollet numera är överspelad .