advance_phase    1268 src/Generator.cpp     advance_phase(InputsSet);
advance_phase    1334 src/Generator.cpp     advance_phase(GenerateCalled);
advance_phase    1356 src/Generator.cpp     advance_phase(ScheduleCalled);
advance_phase    1365 src/Generator.cpp     advance_phase(GenerateCalled);
advance_phase    1366 src/Generator.cpp     advance_phase(ScheduleCalled);
advance_phase    1448 src/Generator.cpp     advance_phase(GenerateCalled);
advance_phase    1449 src/Generator.cpp     advance_phase(ScheduleCalled);
advance_phase    2380 src/Generator.h     void advance_phase(Phase new_phase);