ConstantOptimization uses abstract interpretation to approximate for each instruction what constants a variable or stack slot might hold or cannot hold.
This optimization phase inlines the exception handlers so that further phases can optimize the code better
Inliner balances two competing goals: (a) aggressive inlining of: (a.