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