VCGenerator: Global Constraints

Now the new VC generator adds in global constraints as givens as intended.