Upon completion of the abstract interpretation, instructions which were never reached are marked as dead code.
抽象解釈が完了すると、到達しない命令はデッドコードとされる。