Constant move_model::pragmas::CONDITION_SUSPENDABLE_PROP

pub const CONDITION_SUSPENDABLE_PROP: &str = "suspendable";

A property that can be attached to a global invariant to indicate that it should be enabled disabled by the disable_invariant_in_body pragma