Fix contract handling of promoted constants and constant static #7442

Job	Run time
benchcomp-tests	3m 43s
perf	29m 44s
write-json-symtab-regression	14m 7s
regression (macos-13)	27m 58s
regression (ubuntu-20.04)	24m 56s
documentation	2m 5s
regression (ubuntu-22.04)	24m 27s
regression (macos-14)	16m 18s
	2h 23m 18s

Provide feedback