/* Calculate the optimistic estimate of the children and
* consider them for adding to the agenda and to the results. */
while (iter.hasNext()) {
m_hypotheses++;
child = (Rule) iter.next();
child.upDate(m_instances);
if (canCalculateOptimistic(child)) {
child.calculateOptimistic();
if (canExplore(child)) {
m_explored++;
if (canStoreInNodes(child)) {