Node node=m_debugger.getTableau().getFirstTableauNode();
while (node!=null) {
Debugger.NodeCreationInfo nodeCreationInfo=m_debugger.getNodeCreationInfo(node);
ExistentialConcept existentialConcept=nodeCreationInfo.m_createdByExistential;
if (existentialConcept instanceof AtLeastConcept) {
Concept toConcept=((AtLeastConcept)existentialConcept).getToConcept();
OriginInfo originInfo=originInfos.get(toConcept);
if (originInfo==null) {
originInfo=new OriginInfo(toConcept);
originInfos.put(toConcept,originInfo);
}