[Bug v1.15] Miner+Pump misses some lava blocks