`modifies` Clauses for Function Contracts #5642

Job	Run time
bookrunner	33m 13s
benchcomp-tests	3m 28s
perf	26m 15s
write-json-symtab-regression	15m 44s
regression (macos-12)	13m 15s
regression (ubuntu-20.04)	13m 14s
regression (ubuntu-22.04)	12m 59s
	1h 58m 8s

Provide feedback