DEADLOCK BUG!
replaced hash-table with ad-hoc tx-hash-table specialized for tvar keys