`modifies` Clauses for Function Contracts #5693

Job	Run time
bookrunner	16m 35s
benchcomp-tests	4m 49s
perf	25m 35s
regression (macos-12)	3m 11s
write-json-symtab-regression	10m 40s
regression (ubuntu-20.04)	2m 59s
regression (ubuntu-22.04)	3m 15s
	1h 7m 4s

Provide feedback