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)