`modifies` Clauses for Function Contracts #6004

Job	Run time
benchcomp-tests	4m 27s
bookrunner	17m 4s
perf	28m 9s
regression (macos-12)	12m 32s
write-json-symtab-regression	10m 3s
regression (ubuntu-20.04)	12m 22s
regression (ubuntu-22.04)	12m 16s
	1h 36m 53s

Provide feedback