`modifies` Clauses for Function Contracts #5763

Job	Run time
bookrunner	17m 12s
perf	29m 40s
regression (macos-12)	2m 7s
write-json-symtab-regression	11m 20s
regression (ubuntu-20.04)	3m 44s
regression (ubuntu-22.04)	4m 0s
benchcomp-tests	3m 33s
	1h 11m 36s

Provide feedback