`modifies` Clauses for Function Contracts #5952

Job	Run time
bookrunner	16m 15s
regression (macos-12)	40m 0s
perf	28m 57s
regression (ubuntu-20.04)	20m 9s
write-json-symtab-regression	11m 53s
regression (ubuntu-22.04)	21m 44s
benchcomp-tests	4m 16s
	2h 23m 14s

Provide feedback