bugfix: hashconsing of clauses must take context into account
bugfix: hashconsing of clauses must take context into account

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition