`modifies` Clauses for Function Contracts #5640

Job	Run time
benchcomp-tests	6m 53s
perf	50m 33s
regression (macos-12)	6m 15s
write-json-symtab-regression	10m 18s
regression (ubuntu-20.04)	1s
regression (ubuntu-22.04)	6m 32s
bookrunner	16m 35s
	1h 37m 7s

Provide feedback