`modifies` Clauses for Function Contracts #5778

Job	Run time
benchcomp-tests	3m 18s
perf	27m 39s
regression (macos-12)	3m 9s
write-json-symtab-regression	10m 37s
regression (ubuntu-20.04)	2m 47s
regression (ubuntu-22.04)	3m 1s
bookrunner	15m 7s
	1h 5m 38s

Provide feedback