Method max_raw

crates/kernel/src/level.rs:195–201

Raw `Max` constructor without simplification. Used by `max()` after all simplification opportunities are exhausted.

(a: KUniv<M>, b: KUniv<M>)

    {
      return b;
    }
    // max(max(a', b), b) = max(a', b), max(max(b, a'), b) = max(b, a')
    if let UnivData::Max(al, ar, _) = a.data()
      && (*al == b || *ar == b)
    {
      return a;
    }
    // Same base, different offsets: succ^n(x) vs succ^m(x) → take the larger.
    let (base_a, off_a) = a.offset();
    let (base_b, off_b) = b.offset();