Valuation::entailmentCheck() proxy for TheoryEngine version.  Signature and contract is the same as for TheoryEngine version.
Improving documentation for glpk-cut-log switch.
add constant regular expression check for intersection.