<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">For those wondering, the problem is that some Symbol get duplicated<br>
violating the contract:<br>
any two Symbols are either identical (==) or different (~=).</blockquote><div><br></div><div>Possible become without copyHash? </div></div></div>