∀ {visited : Std.HashSet UInt64} {found : Lean.FVarIdSet} {visited_1 : Std.HashSet UInt64} {found_1 : Lean.FVarIdSet},
  { visited := visited, found := found } = { visited := visited_1, found := found_1 } →
    visited = visited_1 ∧ found = found_1