add const propagation