Rewrite base pointer refinement by pointee using trick from set
#13864
background
wait
wait-all
cancel
Loading