∀ {symbols : Array Lean.HeadIndex} {symbolSet : Std.HashSet Lean.HeadIndex} {bvarsFound : Std.HashSet ℕ}
  {symbols_1 : Array Lean.HeadIndex} {symbolSet_1 : Std.HashSet Lean.HeadIndex} {bvarsFound_1 : Std.HashSet ℕ},
  { symbols := symbols, symbolSet := symbolSet, bvarsFound := bvarsFound } =
      { symbols := symbols_1, symbolSet := symbolSet_1, bvarsFound := bvarsFound_1 } →
    symbols = symbols_1 ∧ symbolSet = symbolSet_1 ∧ bvarsFound = bvarsFound_1