remove GluHalfEdge.dPrev from coverage since no longer called