{
Value lock2 = lock2EqVal.getValue();
Integer lock2Num = lockToLockNum.get(lock2);
List afterTn2 = new ArrayList();
afterTn2.addAll( lockOrder.getSuccsOf(lock2Num) ); // filter here!
ListIterator lit = afterTn2.listIterator();
while(lit.hasNext())
{
Integer to = (Integer) lit.next(); // node the edges go to
List labels = lockOrder.getLabelsForEdges(lock2Num, to);