Add unreachable code detection#904

nae3x wants to merge 3 commits intoevhub:developevhub/coconut:developfrom

nae3x:issue-599-implnae3x/coconut:issue-599-implCopy head branch name to clipboard