runtime: converting vertex path to half-edge path.