let const_prop iosh sid e fd nofrm = tmp_to_const_change := false; let e' = visitCilExpr (varXformClass tmp_to_const iosh sid fd nofrm) e in (e', !tmp_to_const_change)