let make_logic_info fname (out_type, in_types) =
  let ltype = mk_linfo_type (out_type, in_types) in
  let lvar = Cil_const.make_logic_var fname ltype in
  let mk_in_lvar t = Cil_const.make_logic_var "x" t in
  let in_vars = List.map mk_in_lvar in_types in
  let linfo = {
    l_var_info = lvar;
    l_labels = [];
    l_tparams = [];
    l_type = out_type;
    l_profile = in_vars;
    l_body = LBnone;
  } in linfo