Extend ConstantFolding to understand signed overflow variants