Reallocate natspec #346

Job	Run time
verify (ConsistentState)	3m 53s
verify (DistinctIdentifiers)	4m 58s
verify (Enabled)	4m 44s
verify (Immutability)	8m 18s
verify (LastUpdated)	5m 17s
verify (Liveness)	4m 55s
verify (MarketInteractions)	8m 53s
verify (PendingValues)	2m 49s
verify (Range)	5m 14s
verify (Reentrancy)	8m 26s
verify (Reverts)	2m 12s
verify (Roles)	7m 38s
verify (Timelock)	5m 54s
verify (Tokens)	4m 55s
	1h 18m 6s

Provide feedback