// An alert signal should be set if an FSM is instructed to start in a state that is not idle
// FIX: