FINISHED. changes: only emit prob for StoreInst on pointers. TODO: benchmarking & report.