private static void GenerateConstraints(CWExpr choiceExpr, int maxNumVariables, VariableCache.ConstraintMode constraintMode, Context z3Context, Solver z3Solver)
{
VariableCache variableGenerator = VariableCache.Create(constraintMode);
choiceExpr.ToSMTConstraints(z3Context, z3Solver, maxNumVariables, variableGenerator);
variableGenerator.GenerateAdditionalConstraints(z3Context, z3Solver);
}
