llvm-slicer: add more information about slicer's settings in annotated file
llvm-slicer: add more information about slicer's settings in annotated
file

dump info about pointer analysis

Signed-off-by: Marek Chalupa <b10e113ac36de0a194e1c1a71340ff6b6b99ebfb@mail.muni.cz>

mchalupa/dg,mchalupa/dg,mchalupa/dg,mchalupa/dg