revert
bool revert = true;
revert = false;
if (revert) {
if (revert) {
if (revert) {
revert(solv, level);
revert(solv, level);
revert(solv, level);