InputsSet        1268 src/Generator.cpp     advance_phase(InputsSet);
InputsSet        1318 src/Generator.cpp     case InputsSet:
InputsSet        1323 src/Generator.cpp         internal_assert(phase == Created || phase == InputsSet);
InputsSet        1632 src/Generator.cpp     user_assert(generator && generator->phase == GeneratorBase::InputsSet)  << "The Input " << name() << " cannot be set at this point.\n";
InputsSet        1678 src/Generator.cpp     generator->check_exact_phase(GeneratorBase::InputsSet);
InputsSet        1804 src/Generator.cpp         internal_assert(tester.phase == GeneratorBase::InputsSet);