Fix ADCE liveness to include all enclosing control structures. (#1975)

Was removing control structures which didn't have data dependency
with enclosed live loop and otherwise did not contain live code.
An example is a counting loop around a live loop.

Fixes #1967.