∀ (guard : Lean.Expr) (pending : List Lean.Meta.Grind.TheoremGuard) (guard_1 : Lean.Expr)
  (pending_1 : List Lean.Meta.Grind.TheoremGuard),
  (Lean.Meta.Grind.ActivateNextGuardResult.next guard pending =
      Lean.Meta.Grind.ActivateNextGuardResult.next guard_1 pending_1) =
    (guard = guard_1 ∧ pending = pending_1)