constant folding progress