`modifies` Clauses for Function Contracts #6080

Job	Run time
benchcomp-tests	3m 50s
perf	27m 53s
write-json-symtab-regression	11m 35s
regression (macos-13)	23m 43s
regression (ubuntu-20.04)	19m 52s
regression (ubuntu-22.04)	20m 24s
bookrunner	16m 5s
	2h 3m 22s

Provide feedback