[Switch Expressions] Use control flow analysis rather than structural analysis of syntax tree, to flag switch rule blocks that complete normally.

[Switch Expressions] Use control flow analysis rather than structural analysis of syntax tree, to flag switch rule blocks that complete normally. #521