{motive : Mathlib.TacticAnalysis.Pass → Sort u} →
  ((toConfig : Mathlib.TacticAnalysis.Config) →
      (opt : Option (Lean.Option Bool)) → motive { toConfig := toConfig, opt := opt }) →
    (t : Mathlib.TacticAnalysis.Pass) → motive t