let cvar_to_folvar vi = lv_to_fol_var (Cil.cvar_to_lvar vi)