Modified points-to solution dump function.