`modifies` Clauses for Function Contracts #5694

Job	Run time
benchcomp-tests	3m 50s
bookrunner	15m 54s
perf	26m 12s
regression (macos-12)	13m 33s
regression (ubuntu-20.04)	13m 15s
write-json-symtab-regression	10m 19s
regression (ubuntu-22.04)	13m 33s
	1h 36m 36s

Provide feedback