Tarjan's LCA upper-bound tightening

I've meant using bi-associated map not bidirectional-map actually. Sorry for confusion.