Constant MAX_BOUND_ANALYSIS_VISITS 

const MAX_BOUND_ANALYSIS_VISITS: usize = 256;