}
this.s2k = ConstMap.make(s2k);
this.stringBounds = stringBounds.unmodifiableView();
bounds.boundExactly(KK_STRING, this.stringBounds);
int sym = (expected==1 ? 0 : opt.symmetry);
solver = new Solver();
solver.options().setFlatten(false); // added for now, since multiplication and division circuit takes forever to flatten
if (opt.solver.external()!=null) {
String ext = opt.solver.external();
if (opt.solverDirectory.length()>0 && ext.indexOf(File.separatorChar)<0) ext=opt.solverDirectory+File.separatorChar+ext;
try {