updatedList.add( tDS.getDepends() );
// update branch if necessary
if( tDS.getBranch() > branch.getBranch().getBranch() )
tDS = tDS.copy( edge.getDepends().getBranch() - 1 );
for( int i = branch.getBranch().getBranch(); i <= kb.getABox().getBranches().size(); i++ ) {
// update dependency set
if( tDS.contains( i ) ) {
tDS.remove( i );