propagate constants through basic blocks