Set equality issues

[michbarsinai]

ECMAScript's sets do not use state-based equality. This might interfere with verification:

This is from Deno, an independent JS engine.

$ deno
Deno 1.23.3
exit using ctrl+d or close()
> var s1 = new Set()
undefined
> var s2 = new Set()
undefined
> s1==s2
false
> s1.add(1)
Set { 1 }
> s2.add(1)
Set { 1 }
> s1 == s2
false
> s1 === s2
false

One override could be overriding the default Set() (NativeSet) with a java.util.HashSet wrapped to implement the standard ECMAScript api.