Initial Visitor design, VisitVertices in util/visitors.hpp