Merge "Finalized all components of range analysis needed for dynamic bce."
am: d93223d796

* commit 'd93223d7966bee1ae91a9e224c1dd56de1aa3f50':
  Finalized all components of range analysis needed for dynamic bce.