JIT: another bit of refactoring in escape analysis (#115812)

Update the transformation code to make it easier to reorder the checks
in the future, for example trying to handle in-loop allocation sites.

Author: AndyAyersMS