Implemented detection of unreachable statements.