* Reverting bug fix to has_head_in_buffer to test effect
* Reverting fix to pruning