Fixed coveredVertices union and added guardVertex.Add inside loop