Lean.Elab.Tactic.BVDecide.Frontend.Normalize.CoefficientsMap →
  Lean.Elab.Tactic.BVDecide.Frontend.Normalize.CoefficientsMap →
    Lean.Elab.Tactic.BVDecide.Frontend.Normalize.VarStateM
      Lean.Elab.Tactic.BVDecide.Frontend.Normalize.SharedCoefficients