∀ {visitedExpr : Lean.ExprSet} {result : Array Lean.MVarId} {visitedExpr_1 : Lean.ExprSet}
  {result_1 : Array Lean.MVarId},
  { visitedExpr := visitedExpr, result := result } = { visitedExpr := visitedExpr_1, result := result_1 } →
    visitedExpr = visitedExpr_1 ∧ result = result_1