(motive : Lean.IR.Expr → Sort u_1) →
  (v : Lean.IR.Expr) →
    ((y : Lean.IR.VarId) →
        (i : Lean.IR.CtorInfo) →
          (updtHeader : Bool) → (ys : Array Lean.IR.Arg) → motive (Lean.IR.Expr.reuse y i updtHeader ys)) →
      ((x : Lean.IR.Expr) → motive x) → motive v