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))