the merged version yesterday replaced some quantifiers, which results in serious bug
fix frame condition error in atomUnlock
add height info in viz. optimize skiplist trace
optimize skiplist