pub fn subrange_internal<B: BV>( bits: Val<B>, high: Val<B>, low: Val<B>, solver: &mut Solver<'_, B>, ) -> Result<Val<B>, ExecError>