∀ {cache : Std.HashMap (Lean.Expr × Lean.Expr) Lean.Expr} {varTypes lhss rhss : Array Lean.Expr}
  {cache_1 : Std.HashMap (Lean.Expr × Lean.Expr) Lean.Expr} {varTypes_1 lhss_1 rhss_1 : Array Lean.Expr},
  { cache := cache, varTypes := varTypes, lhss := lhss, rhss := rhss } =
      { cache := cache_1, varTypes := varTypes_1, lhss := lhss_1, rhss := rhss_1 } →
    cache = cache_1 ∧ varTypes = varTypes_1 ∧ lhss = lhss_1 ∧ rhss = rhss_1