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