(4) Uloží-li soud trest odnětí svobody na doživotí, může zároveň rozhodnout, že doba výkonu trestu ve věznici se zvýšenou ostrahou se pro účely podmíněného propuštění do doby výkonu trestu nezapočítává.