Avoid inserting the freeze if not necessary, as this allows LVI to continue reasoning about the expression.
foldICmpPow2Test