все так. нельзя наказывать дважды. но и невинным вы его поторопились называть.в этом случае надо говорить не  "невинный", а "невиновный" в этом преступлении. иначе вы бледновато выглядите в дискуссии.это некрасивая игра словами. в быту слово "невинный" означает - непричастный к преступлениям. а ваш кравченко еще как причастен. да, он уже отбыл наказание за свое жуткое дело и расстреливать его было ошибкой.