∀ {x : Lean.IR.VarId} {i : Lean.IR.CtorInfo} {updtHeader : Bool} {ys : Array Lean.IR.Arg} {x_1 : Lean.IR.VarId}
  {i_1 : Lean.IR.CtorInfo} {updtHeader_1 : Bool} {ys_1 : Array Lean.IR.Arg},
  Lean.IR.Expr.reuse x i updtHeader ys = Lean.IR.Expr.reuse x_1 i_1 updtHeader_1 ys_1 →
    x = x_1 ∧ i = i_1 ∧ updtHeader = updtHeader_1 ∧ ys = ys_1