SolveForInterval 1067 src/Solve.cpp      SolveForInterval(const string &v, bool o) : var(v), outer(o) {}
SolveForInterval 1327 src/Solve.cpp      SolveForInterval s(var, false);
SolveForInterval 1341 src/Solve.cpp      SolveForInterval s(var, true);