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