let fresh_logic_var pool lv =
    let lt = lv.lv_type in
    let t = M.tau_of_logic_type lt in
    F.p_fresh pool lv.lv_name (Formula.Acsl(t,lt))