let ae_const_prop eh sid e fd nofrm = ae_tmp_to_const_change := false; let e' = visitCilExpr (varXformClass ae_tmp_to_const eh sid fd nofrm) e in (e', !ae_tmp_to_const_change)