Created          1315 src/Generator.cpp     case Created: 
Created          1319 src/Generator.cpp         internal_assert(phase == Created);
Created          1323 src/Generator.cpp         internal_assert(phase == Created || phase == InputsSet);
Created          1797 src/Generator.cpp         internal_assert(tester.phase == GeneratorBase::Created);
Created          1907 src/Generator.cpp         internal_assert(tester.phase == GeneratorBase::Created);
Created          2376 src/Generator.h     } phase{Created};