let mk_project name =
SlicingParameters.feedback ~level:1 "making slicing project '%s'..." name;
let r = { T.name = name ;
T.application = Project.current () ;
T.functions = Cil_datatype.Varinfo.Hashtbl.create 17;
T.actions = [];
} in
SlicingParameters.feedback ~level:2 "done (making slicing project '%s')." name;
r