HalfedgeGraph: Remove an unused function