[IR] Removed redundant checks from df analyses.

* If a call target traps the caller's binding, the caller scope
  would have had 'bindingHasEscaped' flag set.

* Also, DRYed out some code in LVA which improves code readability
  at the cost of a bit of extra work.