check_min_phase  1200 src/Generator.cpp     check_min_phase(GenerateCalled);
check_min_phase  1217 src/Generator.cpp     check_min_phase(GenerateCalled);
check_min_phase  1378 src/Generator.cpp     check_min_phase(GenerateCalled);
check_min_phase  1457 src/Generator.cpp     check_min_phase(ScheduleCalled);
check_min_phase  2379 src/Generator.h     void check_min_phase(Phase expected_phase) const;