Std.HashSet Lean.Name →
  Std.HashSet Lean.Name →
    Std.HashMap Lean.Name Lean.Elab.Tactic.BVDecide.Frontend.Normalize.MatchKind →
      Std.HashSet Lean.Name → Lean.Elab.Tactic.BVDecide.Frontend.Normalize.TypeAnalysis