Issue with initializing a constant size vector.

[tugsbayasgalan]

Ideally,
const vertexArray: vector{Vertex}(int) = 0; should initialize a vector with size of number of vertices. But it initializes to a vector of size 0. We had to add this to make it work:
const vertices : vertexset{Vertex} = edges.getVertices();
const vertexArray: vector{Vertex}(int) = 0;