Small correction.
Disallowing unit-clauses in input.

The solver can not (yet?) handle it.