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