удаление недостижимого кода(недостижимый код – это код, который содержится в программе, но по каким-то причинам, никогда не исполняется. В графе потока управления программы, этот код содержится в узлах, недостижимых из начального узла Alex_Odeychuk)
недоступное состояние(состояние недоступно из других состояний, особенно из начального состояния, если оно не является доступным. Недоступные состояния обычно означают наличие ошибки ssn)