simplified provenance for just tracking pointers