(motive : Std.Tactic.BVDecide.LRAT.IntAction → Sort u_1) →
  (x : Std.Tactic.BVDecide.LRAT.IntAction) →
    ((id : ℕ) → (rupHints : Array ℕ) → motive (Std.Tactic.BVDecide.LRAT.Action.addEmpty id rupHints)) →
      ((x : Std.Tactic.BVDecide.LRAT.IntAction) → motive x) → motive x