Constant CM_PROB_HALTED

pub const CM_PROB_HALTED: CM_PROB;