[Certora] Supply cap #341

Job	Run time
verify (ConsistentState)	19m 52s
verify (DistinctIdentifiers)	45m 39s
verify (Enabled)	1h 4m 21s
verify (Immutability)	3m 44s
verify (LastUpdated)	4m 33s
verify (Liveness)	24m 57s
verify (MarketInteractions)	17m 18s
verify (PendingValues)	39m 19s
verify (Range)	33m 1s
verify (Reentrancy)	11m 9s
verify (Reverts)	9m 35s
verify (Roles)	2m 9s
verify (SupplyCap)	37m 48s
verify (Timelock)	1h 33m 4s
verify (Tokens)	15m 42s
	7h 2m 11s

Provide feedback