Merge pull request #473 from goblint/general-globals

Generalize global constraint variables to `module V: Printable.S` in each analysis

Author: sim642

g2html

@@ -16,8 +16,10 @@ struct
   module D = ApronComponents (AD) (Priv.D)
   module G = Priv.G
   module C = D
+  module V = Priv.V
 
   open AD
+  open (ApronDomain: (sig module V: (module type of ApronDomain.V) end)) (* open only V from ApronDomain (to shadow V of Spec), but don't open D (to not shadow D here) *)
 
   open ApronPrecCompareUtil
   (* Result map used for comparison of results *)