add const folding