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