Constant move_model::pragmas::CONDITION_DEACTIVATED_PROP

pub const CONDITION_DEACTIVATED_PROP: &str = "deactivated";

A property which can be attached to any condition to exclude it from verification. The condition will still be type checked.