standard configuration now supports axioms
removed dvar-related abstraction layers
removing another obsolete module (Logic_matching)
slightly improved constraint linearization