Rewrite base pointer refinement by pointee using trick from set
#1983
+17
−7
Loading