ℕ →
  (List Lean.MVarId → List Lean.MVarId → Lean.MetaM (Option (List Lean.MVarId))) →
    (Lean.MVarId → Lean.MetaM Bool) →
      (Lean.MVarId → Lean.MetaM (Option (List Lean.MVarId))) → Bool → Lean.Meta.Tactic.Backtrack.BacktrackConfig