technically working slicer
pointer analysis compiles but segfaults