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