Constant MAX_CONSTANT_ITE_EQ_UNFOLDED_NODES 

const MAX_CONSTANT_ITE_EQ_UNFOLDED_NODES: usize = _ /* 8_192usize */;