let mk_cvar v = mk_lvar (Cil.cvar_to_lvar v)