let term_of_var v =
let lv = cvar_to_lvar v in
if app_term_type isArrayType false lv.lv_type then
let ptrty =
TPtr(force_app_term_type element_type lv.lv_type,[])
in
mkterm (TStartOf(TVar lv,TNoOffset)) (Ctype ptrty) v.vdecl
else
mkterm (TLval(TVar lv,TNoOffset)) lv.lv_type v.vdecl