{motive : Lean.Meta.Grind.ActionResult → Sort u} →
  (t : Lean.Meta.Grind.ActionResult) →
    t.ctorIdx = 1 → ((gs : List Lean.Meta.Grind.Goal) → motive (Lean.Meta.Grind.ActionResult.stuck gs)) → motive t