`modifies` Clauses for Function Contracts #5780

Job	Run time
benchcomp-tests	4m 41s
perf	25m 39s
bookrunner	17m 17s
regression (macos-12)	2m 49s
write-json-symtab-regression	9m 11s
regression (ubuntu-20.04)	2m 44s
regression (ubuntu-22.04)	3m 0s
	1h 5m 21s

Provide feedback