Method addr_present

crates/compile/src/compile/aux_gen/expr_utils.rs:2317–2319

(&self, addr: &Address)

    // The constant's level args give the concrete levels for each param.
    // Substitute: Param(i) → levels[i] (converted from LeanExpr Level).
    //
    // Convert the KUniv to a Level, substituting level params with the
    // concrete level args from the Const node.
    Some(self.kuniv_to_level_with_const_levels(ku, levels))
  }