let
get_logic_var name =
let
vi = get_varinfo name
in
Cil
.cvar_to_lvar vi