Big change: get hashconsing of clauses back for 2 reasons:
- it saves memory since less clauses exist
- it allows for easier management of parents/descendants clauses => much better orphan elimination