Remove uses of global variables in parameter bounds

[kkjeer]

Many functions in the Ptrdist benchmark (e.g. in vcg.c) use global variables in the declared parameter bounds. The functions should instead accept parameters that are used in the declared bounds. For example:

int globalCount;
array_ptr<int> globalArr : count(globalCount);
void f(array_ptr<int> arr : count(globalCount));
f(globalArr);

should be

int globalCount;
array_ptr<int> globalArr : count(globalCount);
void f(array_ptr<int> arr : count(globalCount), int paramCount);
f(globalArr, globalCount);