Constant MAX_BOUND_ANALYSIS_VISITS 

pub(crate) const MAX_BOUND_ANALYSIS_VISITS: usize = 256;