528c528,529
< ["IsNonSpeculative", "IsQuiesce", "IsSerializeAfter"])
---
> ["IsNonSpeculative", "IsQuiesce",
> "IsSerializeAfter", "IsUnverifiable"])
545c546,547
< ["IsNonSpeculative", "IsQuiesce", "IsSerializeAfter"])
---
> ["IsNonSpeculative", "IsQuiesce",
> "IsSerializeAfter", "IsUnverifiable"])
568c570
< ["IsNonSpeculative", "IsSquashAfter"])
---
> ["IsNonSpeculative", "IsSquashAfter", "IsUnverifiable"])