heuristical unreachability

In the screenshot below Console.WriteLine is "heuristically unreachable". Bu that is not true. The user can still click "Ignore" on the Assertion Dialog that pops up and then Console.WriteLine will be executed. What does "heuristically unreachable" actually mean?
unreachable.bmp

Please sign in to leave a comment.