Add scenario to keep up valid value-domain management of iteration's controlling variable