Det skydd mot nytt åtal som följer av domens rättskraft skulle försvagas allvarligt om ett pågående förfarande inte gavs samma rättegångshindrande verkan som ett lagakraftvunnet avgörande .