для таких вещей удобно писать граф аглоритма на Scf, тогда хорошо видно ( по исполняемому модулю ) была перезагрузка (прога начнет выполнение со стартового модуля) или просто питание выключалось (маркер выполнения остается в текущем модуле )