Om rätten , för det fall fängelse hade valts som påföljd , hade förklarat villkorligt medgiven frihet förverkad , skulle det finnas möjlighet att i domslutet ange hur lång tid som hade förklarats förverkad .