{motive : Lean.Meta.Grind.SplitCandidateWithAnchor → Sort u} →
  (t : Lean.Meta.Grind.SplitCandidateWithAnchor) →
    ((c : Lean.Meta.Grind.SplitInfo) →
        (numCases : ℕ) →
          (isRec : Bool) →
            (e : Lean.Expr) →
              (anchor : UInt64) → motive { c := c, numCases := numCases, isRec := isRec, e := e, anchor := anchor }) →
      motive t