early-loop-detection.pdf: verticle -> vertex