`modifies` Clauses for Function Contracts #6061

Job	Run time
regression (macos-12)	49m 15s
regression (ubuntu-20.04)	19m 30s
perf	29m 36s
bookrunner	16m 33s
regression (ubuntu-22.04)	21m 2s
write-json-symtab-regression	13m 10s
benchcomp-tests	3m 54s
	2h 33m 0s

Provide feedback