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