lambda1@tg says to YSITD
The truth is, you have been lied on... They implement gc using an approximation algorithm. They only clear all the dead nodes (the definition of dead node varies as the underlying algorithm changes), which is a subset of nodes no longer used