Added subsumption.

* Added: set_contains_all().
* Added: clause_subsumes().

Removed outcommented code.