let
fresh_typed_var name t tau =
let
lv =
Cil_const
.make_logic_var name t
in
VarL
(lv, tau)