if (node.isActive() && !node.isBlocked() && node.hasUnprocessedExistentials()) {
// The node's set of unprocessed existentials may be changed during operation, so make a local copy to loop over.
m_processedExistentials.clear();
m_processedExistentials.addAll(node.getUnprocessedExistentials());
for (int index=m_processedExistentials.size()-1;index>=0;index--) {
ExistentialConcept existentialConcept=m_processedExistentials.get(index);
if (existentialConcept instanceof AtLeastConcept) {
AtLeastConcept atLeastConcept=(AtLeastConcept)existentialConcept;
switch (isSatisfied(atLeastConcept,node)) {
case NOT_SATISFIED:
expandExistential(atLeastConcept,node);