Constant MAX_CONSTANT_ITE_EQ_UNFOLDED_NODES 

pub(crate) const MAX_CONSTANT_ITE_EQ_UNFOLDED_NODES: usize = _ /* 8_192usize */;