(motive : Array Lean.IR.FnBody × Array Lean.IR.Alt → Sort u_1) →
  (x : Array Lean.IR.FnBody × Array Lean.IR.Alt) →
    ((bs : Array Lean.IR.FnBody) → (alts : Array Lean.IR.Alt) → motive (bs, alts)) → motive x