Class FindUnreleasedLock.LockFrameModelingVisitor