}
}
}
G.v().out.println("VISIBLE ORDER FOR " + tn.name);
visibleOrder.printGraph();
// Order locks in tn's lockset according to the visible order (insertion sort)
List<EquivalentValue> newLockset = new ArrayList();
for(EquivalentValue lockEqVal : tn.lockset)
{