let
mk_term_from_logic_var lvar =
mk_dummy_term (
TLval
(
TVar
(lvar),
TNoOffset
))
Cil
.intType