let mk_cvar_addr v =  mk_lvar_addr (Cil.cvar_to_lvar v)