{motive : Lean.Grind.AC.SubsetResult → Sort u} →
  (t : Lean.Grind.AC.SubsetResult) →
    motive Lean.Grind.AC.SubsetResult.false →
      motive Lean.Grind.AC.SubsetResult.exact →
        ((s : Lean.Grind.AC.Seq) → motive (Lean.Grind.AC.SubsetResult.strict s)) → motive t