Returns a set of annotated clauses for a given unannotated clause. If the
given clause only contains atoms with EDB predicate symbols, the
resulting set will be a singleton. Otherwise, the cardinality of the
return set will be equal to the number of atoms in the body of the clause
that have IDB predicate symbols. Each returned clause is ordered so that
it can be evaluated from left to right.