Fix control flow analysis of destructuring in loops

[ahejlsberg]

Fixes #28758.

[ahejlsberg]

Short explanation is that we now treat the following as equivalent for purposes of control flow analysis:

const y = foo.x.y;
const { y } = foo.x;
const { x: { y } } = foo;