Refinements to BSP traversal