Function normalize_imax_max

crates/kernel/src/level.rs:440–450

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

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

          }
          normalize_aux(u, path, k, acc);
        }
      }
    },
    UnivData::Param(idx, _, _) => {
      let idx = *idx;
      if let Some(new_path) = ordered_insert(idx, path) {
        norm_add_const(acc, k, path);
        norm_add_node(acc, idx, k, &new_path);
      } else if k != 0 {
        norm_add_var(acc, idx, k, path);
      }
    },
    // All UnivData variants are covered above. If this is reached,
    // it indicates a bug (e.g., a new variant was added without updating this match).