The pattern

 Arena *a = Thread::current()->resource_area();
 VectorSet visited(a);

can be found quite often in the code. We could clean this up by adding a default constructor to VectorSet which uses Thread::current()->resource_area() as arena by default (as already done, for example, for Node_List).