Lean.Elab.Tactic.BVDecide.Frontend.Normalize.Op →
  Lean.Elab.Tactic.BVDecide.Frontend.Normalize.CoefficientsMap →
    Lean.Expr →
      Lean.Elab.Tactic.BVDecide.Frontend.Normalize.VarStateM
        Lean.Elab.Tactic.BVDecide.Frontend.Normalize.CoefficientsMap