let
tlval lv =
Logic_const
.term (
TLval
lv) (
Cil
.typeOfTermLval lv)