adds missing check for Seal.FinalState
#8563
+74
−8
Open
Seal.FinalState
#8563