Iterator for a collection containing clause sets and clauses.
New version - no explicit merged collection is needed. This hould result
in performance improvements for bot the knowledge base and the inference engine.
author: Jens Dietrich version: 3.4 <7 March 05> since: 1.0
Indicates whether there are more clauses.
For performance, clauses get special treatment
true if there are more clauses, false otherwise throws: ClauseSetException -