{motive : Aesop.UnsafeQueueEntry → Sort u} →
  (t : Aesop.UnsafeQueueEntry) →
    t.ctorIdx = 0 →
      ((r : Aesop.IndexMatchResult Aesop.UnsafeRule) → motive (Aesop.UnsafeQueueEntry.unsafeRule r)) → motive t