I don't think I'm not the Pavel you've been addressing to, but let me ask a question.
Does 'unreachable code' == 'dead code'? If yes, this code should be eliminted and should not affect later stages of verification. WBR, -- Pavel Pervov, Intel Enterprise Solutions Software Division
