let
mk_cvar v = mk_lvar (
Cil
.cvar_to_lvar v)