Adding simplified header
Asserting that size cannot be 0 here
Cleaning OTF subsumption
Size of clause should really be 32b, we might overflow
Don't calculate abstraction for long clauses
Making clause size 32b
Removing wrong & obvious comment
One more assert just to make sure things are OK
Use .resize(), it's cleaner than .shrink()
Adding one more assert
Merge branch 'bug' -> fixing