let
mk_term_from_logic_var lvar =
Logic_const
.term (
TLval
(
TVar
(lvar),
TNoOffset
)) (
Ctype
Cil
.intType)