Function normalize_imax_imax

crates/kernel/src/level.rs:453–463

Handle `imax(u, imax(v, w))` = `max(imax(u, w), imax(v, w))`.

(
  u: &KUniv<M>,
  v: &KUniv<M>,
  w: &KUniv<M>,
  path: &[u64],
  k: u64,
  acc: &mut NormLevel,
)

  w: &KUniv<M>,
  path: &[u64],
  k: u64,
  acc: &mut NormLevel,
) {
  normalize_imax_dispatch(u, v, path, k, acc);
  normalize_imax_dispatch(u, w, path, k, acc);
}

/// Handle `imax(u, imax(v, w))` = `max(imax(u, w), imax(v, w))`.
fn normalize_imax_imax<M: KernelMode>(
  u: &KUniv<M>,
  v: &KUniv<M>,
  w: &KUniv<M>,
  path: &[u64],
  k: u64,