Improve support for storage pointer analysis #2301

Job	Run time
tests (ubuntu-latest, unit, 3.8)	55s
tests (ubuntu-latest, unit, 3.12)	44s
tests (ubuntu-latest, integration, 3.8)	3m 24s
tests (ubuntu-latest, integration, 3.12)	3m 12s
tests (ubuntu-latest, tool, 3.8)	53s
tests (ubuntu-latest, tool, 3.12)	46s
tests (windows-2022, unit, 3.8)	1m 49s
tests (windows-2022, unit, 3.12)	1m 48s
tests (windows-2022, integration, 3.8)	3m 56s
tests (windows-2022, integration, 3.12)	3m 14s
tests (windows-2022, tool, 3.8)	2m 53s
tests (windows-2022, tool, 3.12)	3m 36s
coverage	16s
	27m 26s

Provide feedback