let
cvar_to_folvar vi = lv_to_fol_var (
Cil
.cvar_to_lvar vi)