1). add matcher so the client of LLVM Slicer can specify (file, line, variable)
 tuple as criteria
 2). modify slicer to not slice every function but to only the necessary functions
 3). output the final slice and change some output message