Refactor calculation of the maximum value + 1for a bitvector (in decimal) in ConstantFoldingExprBuilder
Refactor calculation of the maximum value + 1for a bitvector (in decimal) in
ConstantFoldingExprBuilder

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix