You are correct, it was a lazy-ish shortcut on my part.
The sooner a defibrillator can be used to induce the hearts electrical rhythm to resume ordered behavior and allow meaningful contractions to pump blood, the better.

Even more succinctly: YELL 911 AED CPR GOGOGO

The AED can only reset electric rythyms. Not every source of not having a pulse is due to chaotic electrical rhythm, not every electrical issue has a lack of pulse. "Stopped" and "restart" are ambiguous. I would generally forgive the usage of "not working" and "make start working" from anyone less trained than an EMT.