`modifies` Clauses for Function Contracts #6055

Job	Run time
write-json-symtab-regression	2m 20s
bookrunner	1m 38s
perf	2m 10s
regression (macos-12)	1m 57s
regression (ubuntu-20.04)	1m 55s
benchcomp-tests	2m 24s
regression (ubuntu-22.04)	2m 13s
	14m 37s

Provide feedback