Fix the dependency issue when using SSA variables #6302

Job	Run time
tests (ubuntu-latest, 3.8, erc)	29s
tests (ubuntu-latest, 3.8, path_filtering)	29s
tests (ubuntu-latest, 3.8, data_dependency)	32s
tests (ubuntu-latest, 3.8, interface)	32s
tests (ubuntu-latest, 3.8, printers)	1m 18s
tests (ubuntu-latest, 3.8, find_paths)	29s
tests (ubuntu-latest, 3.8, flat)	46s
tests (ubuntu-latest, 3.12, data_dependency)	27s
tests (ubuntu-latest, 3.8, slither_config)	28s
tests (ubuntu-latest, 3.12, erc)	32s
tests (ubuntu-latest, 3.12, path_filtering)	28s
tests (ubuntu-latest, 3.12, flat)	25s
tests (ubuntu-latest, 3.12, find_paths)	23s
tests (ubuntu-latest, 3.12, interface)	29s
tests (ubuntu-latest, 3.8, upgradability)	46s
tests (ubuntu-latest, 3.12, slither_config)	30s
tests (ubuntu-latest, 3.12, printers)	1m 6s
tests (ubuntu-latest, 3.12, upgradability)	50s
	10m 59s

Provide feedback