A few code elements for environment changes from functions as remove_vars etc. have been moved to sharedFunctions as they are needed in a similar way inside affineEqualityDomain. A module that includes various methods used by variable handling operations such as add_vars, remove_vars etc. in apronDomain and affineEqualityDomain.
type typvar = Apron.Environment.typvar =
| INT
| REAL
and t = Apron.Environment.t
val make : Apron.Var.t array->Apron.Var.t array->t
val add : t->Apron.Var.t array->Apron.Var.t array->t