Improve support for storage pointer analysis #6017

Job	Run time
tests (ubuntu-latest, 3.8, data_dependency)	29s
tests (ubuntu-latest, 3.8, path_filtering)	27s
tests (ubuntu-latest, 3.8, erc)	29s
tests (ubuntu-latest, 3.8, find_paths)	27s
tests (ubuntu-latest, 3.8, flat)	33s
tests (ubuntu-latest, 3.8, interface)	32s
tests (ubuntu-latest, 3.8, printers)	1m 7s
tests (ubuntu-latest, 3.8, slither_config)	27s
tests (ubuntu-latest, 3.8, upgradability)	58s
tests (ubuntu-latest, 3.12, data_dependency)	23s
tests (ubuntu-latest, 3.12, path_filtering)	27s
tests (ubuntu-latest, 3.12, erc)	23s
tests (ubuntu-latest, 3.12, find_paths)	28s
tests (ubuntu-latest, 3.12, flat)	23s
tests (ubuntu-latest, 3.12, interface)	26s
tests (ubuntu-latest, 3.12, printers)	1m 5s
tests (ubuntu-latest, 3.12, slither_config)	24s
tests (ubuntu-latest, 3.12, upgradability)	59s
	10m 27s

Provide feedback