Debugging
Constructors we don't use
Need something different than `disjuncts'.
Revise unit-clauses.
Refine variables.
Debug
Refine `atomic-clause?'.
Testing
TODO: Get rid of the single-symbol exception.
No: we need to filter out disjuncts. Shit!