`modifies` Clauses for Function Contracts #5648

Job	Run time
regression (macos-12)	13m 53s
write-json-symtab-regression	9m 33s
regression (ubuntu-20.04)	13m 31s
regression (ubuntu-22.04)	13m 51s
benchcomp-tests	3m 30s
bookrunner	16m 32s
perf	27m 57s
	1h 38m 47s

Provide feedback