constant BorelCheck
constant ArrangeBorel
constant NumNewVar
constant NewTails
constant ArrangeTails
constant mod_init
constant Terns
constant VConst
constant Minimus
constant Maximus
constant GPolyMin
constant TernComparer
constant MinimalV
constant OrderV
constant StartOrderingV
constant MultiplyJmP
constant NewWeight
constant FinalVm
constant VmConstructor
constant EKCouples
constant EKPolynomials
constant MultEKPolys
constant SchemeEq
constant JMarkedScheme