pub const NORMALIZED_SOLVER_TABLES_PASS: &str = "balanced-to-normalized-solver-tables";
Stable pass name for the balanced normalized solver table lowering.