for( EquivalentValue lockEqVal : tn2.lockset )
{
Value lock = lockEqVal.getValue();
if( !lockOrder.containsNode(lockToLockNum.get(lock)) )
lockOrder.addNode(lockToLockNum.get(lock));
}
if( tn1.transitiveTargets.contains(tn2.method) && !foundDeadlock )
{
// This implies the partial ordering (locks in tn1) before (locks in tn2)