Add redomap constant folding.