`modifies` Clauses for Function Contracts #5764

Job	Run time
benchcomp-tests	3m 28s
regression (macos-12)	27m 38s
regression (ubuntu-20.04)	20m 26s
write-json-symtab-regression	11m 28s
regression (ubuntu-22.04)	20m 31s
bookrunner	15m 52s
perf	29m 30s
	2h 8m 53s

Provide feedback