let mk_logic_call name logicvar_param_l = mk_dummy_term (Tapp(get_logic name,[],List.map (fun p -> mk_term_from_logic_var p) logicvar_param_l)) Cil.intType