let mk_logic_call name logicvar_param_l =
let li = get_logic name in
match logicvar_param_l with
| [] -> mk_dummy_term (TLval (TVar li.l_var_info,TNoOffset)) Cil.intType
| _ ->
mk_dummy_term
(Tapp(li,[],
List.map (fun p -> mk_term_from_logic_var p)
logicvar_param_l))
Cil.intType