Fix #1984: Clone labels in ensure block carefully ...

* When cloning ensure regions, don't clone jump/branch targets
  that don't exist in the ensure region.