simplexmethod: drop do labels that were only consumed by the end do